Sciweavers

432 search results - page 47 / 87
» The Design of Application-Tailorable Operating System Produc...
Sort
View
GPCE
2007
Springer
14 years 3 months ago
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
Georg Jung, John Hatcliff
GMP
2006
IEEE
117views Solid Modeling» more  GMP 2006»
14 years 3 months ago
Two-Dimensional Selections for Feature-Based Data Exchange
Proper treatment of selections is essential in parametric feature-based design. Data exchange is one of the most important operators in any design paradigm. In this paper we addre...
Ari Rappoport, Steven N. Spitz, Michal Etzion
WSC
1998
13 years 10 months ago
Use of Simulation in Optimization of Maintenance Policies
Selecting an optimum maintenance policy independent of other parameters of the production system does not always yield the overall optimum operating conditions. For instance, high...
Farhad Azadivar, J. Victor Shu
DATE
2007
IEEE
80views Hardware» more  DATE 2007»
14 years 3 months ago
Engineering trust with semantic guardians
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
Ilya Wagner, Valeria Bertacco
ISPE
2003
13 years 10 months ago
Task-oriented engineering of coordinated software systems
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
Enrico Denti, Andrea Omicini, Alessandro Ricci