ppxscal/embedding_network huggingface dataset:
HMI generation for plug-in services from semantic descriptions
Authors: Andreas Hildisch, Jurgen Steurer, Reinhard Stolle
Venue: Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems (2007)

We describe our implemented approach to automatically generating user interfaces (UIs) for dynamic services in the automotive domain. Dynamic services are services that are not known at design/deploy time of the HMI (human machine interaction) software of the automobile. Such services will increasingly find their way into the modern car: via mobile consumer electronics, via online servers, or via software download. In order for the driver to safely and comfortably interact with these services, their user interfaces need to be seamlessly integrated into the overall HMI system of the car and resemble the look and feel of the statically deployed HMI system. In the approach described in this paper, each service is accompanied by a description of its semantics, based on which a generic UI generator then automatically designs an appropriate UI and integrates it into the existing HMI system. We use OWL to formulate the domain-specific ontology of automotive infotainment services and OWL-S to describe the service interfaces. In order to be able to express listener/notification semantics, we extended OWL-S by several new constructs. Our results are based on our implementation of a UI generator for an automotive infotainment system, using the typical BMW Group HMI concepts.
A New Method for Designing Flat Shelving and Peaking Filters Based on Allpass Filters
Authors: Alfonso Fernandez-Vazquez, Roberto Rosas-Romero, Jorge Rodriguez-Asomoza
Venue: Proceedings of the 17th International Conference on Electronics, Communications and Computers (2007)

Two most commonly IIR filters used in audio equalization are shelving filters and peaking filters. Traditional design of shelving and peaking filters is based on the design of analog filters, mainly Butterworth filters, and bilinear transformation. In this way, it is well known the design of first order shelving filters and second order peaking filters. Additionally, the resulting filter can be efficiently implemented using allpass filter structures with a low sensitivity to the filter quantization and a low noise level. In this paper, we present a direct design of high order shelving and peaking filters with flat magnitude response in both passband and stopband. The design is reduced to the design of one digital allpass filter with real coefficients. Using this allpass filter, we obtain two stable and real allpass filters, which are used to implement the resulting shelving and peaking filters. Additionally, closed form equations for the pole/zero computations are given.
InTraBase: integrated traffic analysis based on a database management system
Authors: M. Siekkinen, E. W. Biersack, G. Urvoy-Keller
Venue: Proceedings of the End-to-End Monitoring Techniques and Services on 2005. Workshop (2005)

Internet traffic analysis as a research area has attracted lots of interest over the last decade. The traffic data collected for analysis are usually stored in plain files and the analysis tools consist of customized scripts each tailored for a specific task. As data are often collected over a longer period of time or from different vantage points, it is important to keep metadata that describe the data collected. The use of separate files to store the data, the metadata, and the analysis scripts provides an abstraction that is much too primitive. The information that "glues" these different files together is not made explicit but is solely in the heads of the people involved in the activity. As a consequence, manipulating the data is very cumbersome, does not scale, and severely limits the way these data can be analyzed. We propose to use a database management system (DBMS) that provides the infrastructure for the analysis and management of data from measurements, related metadata, and obtained results. We discuss the problems and limitations with today's approaches, describe our ideas, and demonstrate how our DBMS-based solution, called InTraBase, addresses these problems and limitations. We present the first version of our prototype and preliminary performance analysis results.
Towards a Unified Catalogue of Non-Technical Quality Attributes to Support COTS-Based Systems Lifecycle Activities
Authors: Juan Pablo Carvallo Vega, Xavier Franch, Carme Quer
Venue: Proceedings of the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (2007)

Several activities of the COTS-based systems lifecycle are supported not only by the analysis of their technical quality but also (and sometimes mostly) by considering how they fulfill some non-technical quality features considered relevant (licensing, reputation, costs and similar issues). Whilst many catalogues of technical quality features exist, it is not the case for non-technical ones, which are often managed in an ad-hoc form. In a recent work, we proposed a catalogue of non-technical quality features, designed to integrate smoothly into the ISO/IEC 9126-1 standard. In this paper, we detail the process used for the composition of the catalogue, which embraces the inclusion of several non-technical quality features already identified in the literature as well as others which have emerged form our own experience in industrial COTS components selection processes. We also outline some potential applications of the resulting catalogue, intended to support several activities of the COTS-based systems lifecycle. Finally, we describe a COTS selection process carried out in a telecommunications company.
A Performance Model for Stream-based Computations
Authors: Marco Danelutto, Marco Vanneschi, Corrado Zoccolo
Venue: Proceedings of the 15th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (2007)

Component-based Grid applications have complex deployment models. Performance-sensitive decisions should be taken by automatic tools. Such tools must match developer knowledge on component performance with QoS requirements on the applications, in order to find deployment plans that satisfy a Service Level Agreement (SLA).This paper presents a steady state performance model that can be employed to reason about and automatically map stream-based component programs.
Encrypting virtual memory
Authors: Niels Provos
Venue: Proceedings of the 9th conference on USENIX Security Symposium - Volume 9 (2000)

In modern operating systems, cryptographic file systems can protect confidential data from unauthorized access. However, once an authorized process has accessed data from a cryptographic file system, the data can appear as plaintext in the unprotected virtual memory backing store, even after system shutdown. The solution described in this paper uses swap encryption for processes in possession of confidential data. Volatile encryption keys are chosen randomly, and remain valid only for short time periods. Invalid encryption keys are deleted, effectively erasing all data that was encrypted with them. The swap encryption system has been implemented for the UVM [7] virtual memory system and its performance is acceptable.
Using TRIZ, parametric modeling, FEA simulation, and rapid prototyping to foster creative design
Authors: K. L. Kitto
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 02 (2000)

Fostering creative design within the curriculum in engineering and engineering technology is often both daunting and time-consuming. This paper describes the efforts in the Engineering Technology Department at Western Washington University to foster creative design within the curriculum by using TRIZ, parametric modeling, finite element analysis (FEA) simulation, and rapid prototyping. First, the paper describes how assessment enabled the faculty to create a collaborative environment. Second, the introduction to the design process using parametric modeling and 3D printing rapid prototyping technology during the freshman experience is described. Next, the paper describes TRIZ, the Theory of Inventive Problem Solving, in detail and how that philosophy can be used within an academic setting to foster both creativity and efficient product and process design. Then the paper details how TRIZ, FEA simulation and Fused Deposition Modeling (FDM) are actually used in the senior year. The paper concludes with the results of the department's assessment efforts and plans for future. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Maximal Consistent Subsets
Authors: Robert Malouf
Venue: Computational Linguistics (2007)

Default unification operations combine strict information with information from one or more defeasible feature structures. Many such operations require finding the maximal subsets of a set of atomic constraints that are consistent with each other and with the strict feature structure, where a subset is maximally consistent with respect to the subsumption ordering if no constraint can be added to it without creating an inconsistency. Although this problem is NP-complete, there are a number of heuristic optimizations that can be used to substantially reduce the size of the search space. In this article, we propose a novel optimization, leaf pruning, which in some cases yields an improvement in running time of several orders of magnitude over previously described algorithms. This makes default unification efficient enough to be practical for a wide range of problems and applications.
Innovations in large-scale supported distance teaching: transformation for the Internet, not just translation
Authors: M. Petre
Venue: Proceedings of the Frontiers in Education Conference,1997. on 27th Annual Conference. Teaching and Learning in an Era of Change. - Volume 01 (1997)

This paper reports on large-scale trials of Internet-based university-level distance teaching. The use of technology, and more specifically the Internet, has been an important advance for distance education. However, simply translating material from familiar media into electronic form is rarely productive-and is certainly inadequate for supported distance education, which aims to engage the student in a 'community of learning'. The value Internet technology brings to distance education lies not in direct translation from other media but in transformation of support mechanisms to exploit its potential range. The paper begins by considering how instruction and support functions can be served and potentially enhanced by an Internet-based structure. It considers which changes in culture help to preserve or improve teaching quality while adapting to screen-based and often asynchronous interactions. It discusses: trials of mechanisms for interactions among students and instructors; assignment marking using an electronic marking tool; electronic assignment handling; synchronous and asynchronous Internet-based problem sessions; and automatic student registration. The paper summarizes qualitative and quantitative findings of an extensive evaluation involving several hundred students over three courses and considering learning, student experience, assignment marking, problem sessions, scalability and integration into existing administrative structures. It highlights both costs and gains of using the Internet to transform the distance learning environment for those associated with it: students, instructors, administrators and institutions.
Industry-university cooperative education: Advanced Gas Turbine Internships and Fellowships
Authors: D. B. Fant, L. P. Golan
Venue: Proceedings of the Frontiers in Education Conference, on 1995. Proceedings., 1995 - Volume 02 (1995)

This paper discusses the proposed educational "mission" for the Advanced Gas Turbine Systems Research (AGTSR) program. Based on the positive response of the AGTSR Educational Panel meeting at the November 1994 Advanced Turbine Systems (ATS) Annual Review, the AGTSR program is planning to broaden the AGTSR Internship and Fellowship programs beginning in fiscal year 1996. A pilot industrial internship program was initiated in June, 1995 targeting top-notch seniors and first or second year graduate students. The AGTSR Industry Review Board selected six interns out of thirteen applications. One intern is positioned at each of the sponsoring companies. Three trial undergraduate honor fellowships were awarded in fiscal year 1995, one each at the University of Minnesota, Clarkson and Clemson University. This paper briefly summarizes the AGTSR consortium program and the anticipated benefits and implementation plan for the AGTSR expanded educational "mission".
Image Noise Induced Errors in Camera Positioning
Authors: Graziano Chesi, Y. S. Hung
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence (2007)

The problem of evaluating worst-case camera positioning error induced by unknown-but-bounded (UBB) image noise for a given object-camera configuration is considered. Specifically, it is shown that upper bounds to the rotation and translation worst-case error for a certain image noise intensity can be obtained through convex optimizations. These upper bounds, contrary to lower bounds provided by standard optimization tools, allow one to design robust visual servo systems.
Design of High-Frequency Filters Working in the Pure Current Mode with CMI
Authors: Jan Jerabek, Kamil Vrba
Venue: Proceedings of the Second International Conference on Systems (2007)

In this paper the process of designing frequency filters with a new pure current element is shown. In the design, generalized active circuit elements are used, to which a full admittance network is connected. For the chosen number of admittances a few possible connections of autonomous circuits are obtained. An illustration of the filter design is given.
Simulation and test: Instruments for Critical Infrastructure Protection (CIP)
Authors: W. Schmitz
Venue: Information Security Tech. Report (2007)

Simulation and evaluation of critical infrastructures for analysis and planning of processes and procedures increasing the robustness and fault tolerance of the overall infrastructure while limiting the overall cost are essential in an environment in which core infrastructures are operated by private enterprise. Several objectives need to be taken into account, including the interests of the society at large depending on the proper functioning of critical infrastructures, the requirements of interdependent infrastructures, and also those of the owners and stakeholders in the infrastructure element itself. This paper reviews approaches for the simulation and evaluation of infrastructure elements and presents recent research in the field.
Interconnection Scenario and Regulation under NGN Environment in the Case of Korea
Authors: Jung-Eun Ku, Sun-Me Choi, Sang-Woo Lee, Tchanghee Hyun
Venue: Proceedings of the Third International Conference on Networking and Services (2007)

As the demand of Cellular phone user is getting more and more diversity, the traffic of cellular phone has been to change from voice to data which could include high speed and mess volume data for multimedia data. The previous network policy for each voice network and data network has a limitation for the new network system. Especially for the interconnection charge between telecommunication companies need to be changed or developed to control the developed network (NGN). The NGN is still at an early stage of development especially in related interconnection charge issue. We are not sure which way the network will be and what the real situation will be happen and each situation what kinds of policy will be needed to control. Therefore, in this paper, we have developed three scenarios for the new interconnection issues between telecommunication companies and we also discuss about the policies for those situations.
Visualizing SVG Mobile Web Services for a Trust Network
Authors: Sabah Mohammed, Jinan Fiaidhi, Michael Lam
Venue: Proceedings of the Geometric Modelling and Imaging (2007)

The widespread availability of World Wide Web gives the opportunities for delivering spatial data over the Internet as well as small mobile devices. In this paper we developed a Scalable Vector Graphics (SVG) as Web services and presented a platform for the direct consumption of SVG web services by a Mobile J2ME Stations. We give an architectural solution where Apache Axis plays the role of Trusted Third Parties supplying service credentials that allow a safe visualization of SVG images.
Airjava: networking for smart spaces
Authors: Kevin L. Mills
Venue: Proceedings of the Workshop on Embedded Systems on Workshop on Embedded Systems (1999)

Increasingly people work and live on the move. To support this mobile lifestyle, especially as work becomes more intensely information-based, companies are producing various portable and embedded information devices. Concurrently, some interesting pico-cellular wireless technologies promise to outfit these portable and embedded devices with high bandwidth, localized, wireless communication capabilities that can also reach the globally wired Internet. An impressionist painting emerges of small, specialized devices roaming among islands of wireless connectivity within a global ocean of wired networks. Each wireless island becomes a "Smart Space", where available services and embedded devices can be discovered, accessed, interconnected with portable devices carried onto the island, and then the combination of imported and native devices can be exploited to support the information needs of the current island inhabitants. In this paper, I outline three specific human-information interaction challenges that the research community must address in order to reap the benefits of specialized information devices within Smart Spaces. Before these research challenges can be adequately addressed, the research community must have some Smart Spaces with which to experiment. I describe AirJava, which combines Java Jini with pico-cellular wireless technology to empower small devices to discover each other, to exchange programs, and to interact. While a technology like AirJava should emerge in the next five years, I propose a means of building AirJava adapters today so researchers can begin experimenting with Smart Spaces.
Portfolio assessment for promotion and tenure: three assessment challenges [education]
Authors: M. A. Dyrud
Venue: Proceedings of the Frontiers in Education Conference,1997. on 27th Annual Conference. Teaching and Learning in an Era of Change. - Volume 01 (1997)

Portfolios offer faculties an individualized approach to performance evaluation for achievements, such as promotion and tenure, and ongoing processes, such as teaching and service. This paper explores assessment challenges for portfolios related to tenure and promotion, examining such issues as criteria development, evaluation concerns and the actual review. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
SLIC: an extensibility system for commodity operating systems
Authors: Douglas P. Ghormley, David Petrou, Steven H. Rodrigues, Thomas E. Anderson
Venue: Proceedings of the annual conference on USENIX Annual Technical Conference (1998)

Modern commodity operating systems are large and complex systems developed over many years by large teams of programmers, containing hundreds of thousands of lines of code. Consequently, it is extremely difficult to add significant new functionality to these systems. In response to this problem, a number of recent research projects have explored novel operating system architectures to support untrusted extensions, including SPIN, VINO, Exokernel, and Fluke. Unfortunately, these architectures require substantial implementation effort and are not generally available in commodity systems. In contrast, by leveraging the technique of interposition, we have designed and implemented a prototype extension system called SLIC which requires only trivial operating system changes. SLIC efficiently inserts trusted extension code into commodity operating systems, enabling a large class of trusted extensions for existing commodity operating systems such as Solaris and Linux, while retaining full compatibility with existing application binaries. By interposing trusted extensions on existing kernel interfaces, our solution enables extensions which are protected from malicious applications, are enforced upon uncooperative applications, are composable with extensions from other third-party sources, and can be developed at the user-level using state-of-the-art development tools. We have used SLIC to implement and demonstrate a number of useful operating system extensions, including a patch to fix a security hole described in a CERT advisory, a simple encryption file system, and a restricted execution environment for arbitrary untrusted binaries. Performance measurements of the SLIC prototype demonstrate a one-time installation cost of 2-8 µsec and a per-extension invocation overhead commensurate with a procedure call.
Succinct Representation of Static Packet Forwarding Tables
Authors: Wencheng Lu, Sartaj Sahni
Venue: Proceedings of the Sixth International Conference on Networking (2007)

We develop algorithms for the compact representation of the trie structures that are used for Internet packet forwarding. Our compact representations are experimentally compared with competing compact representations for packet forwarding tables and found to simultaneously reduce the number of memory accesses required for a lookup as well as the memory required to store the forwarding table.
Time Parallel Algorithms for Solution of Linear Parabolic PDEs
Authors: Amir Fijany
Venue: Proceedings of the 1993 International Conference on Parallel Processing - Volume 03 (1993)

In this paper, fast time- and space-parallel algorithms for solution of parabolic PDEs are developed. It is shown that the seemingly strictly serial time-stepping procedures for solution of problem can be completely decoupled. This is achieved by developing time-parallel algorithms which allow the solution for all time steps to be computed in parallel. The time-parallel algorithms have a highly decoupled structure and hence can be efficiently implemented on emerging massively parallel MIMD architectures with minimum communication and synchronization overhead.
Scalability of the microsoft cluster service
Authors: Werner Vogels, Dan Dumitriu, Ashutosh Agrawal, Teck Chia, Katherine Guo
Venue: Proceedings of the 2nd conference on USENIX Windows NT Symposium - Volume 2 (1998)

An important argument for the introduction of software managed clusters is that of scale: By constructing the cluster out of commodity compute elements, one can, by simply adding new elements, improve the reliability of the overall system in terms of performance and in availability. The limits to how far such a cluster can be scaled seems to be dependent on the scalability of its management software, which in its core has a collection of distributed algorithms to guarantee the correct operation of the cluster. The complexity of these algorithms makes them a vulnerable component of the system in terms of their impact on the overall scalability of the system. This paper examines two of the distributed components of the Microsoft Cluster Service [8] that are most likely to have an impact on its scalability: the membership and the global update managers. The first sections of the paper will provide some general background on these distributed services and scalability issues. After that the algorithms used to implement these service are described in detail and an analysis of their impact on scalability is given. The scalability analysis is based on an off-line analysis of the algorithms as well as the results of on-line experiments on a cluster with a, in MSCS terms, large number of nodes.