Sciweavers

9503 search results - page 357 / 1901
» Authenticated System Calls
Sort
View
SAFECOMP
1999
Springer
15 years 12 months ago
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza R...
DAC
1994
ACM
15 years 11 months ago
Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems
Existing software scheduling techniques limit the functions that can be implemented in software to those with a restricted class of timing constraints, in particular those with a c...
Pai H. Chou, Gaetano Borriello
DASFAA
2004
IEEE
110views Database» more  DASFAA 2004»
15 years 11 months ago
Optimising Mediator Queries to Distributed Engineering Systems
Data and computations of a CAD system have been wrapped by a mediator system using CORBA's IIOP Protocol. This allows ad hoc declarative mediator queries to be translated into...
Mattias Nyström, Tore Risch
MASCOTS
2004
15 years 9 months ago
Engineering Mobile Wireless Publish/Subscribe Systems for High Performance
Decoupling flexible, scalable and asynchronous nature of publish/subscribe systems makes them a good choice for the mobile wireless domain. Our research investigates the applicati...
Umar Farooq, Shikharesh Majumdar, Eric W. Parsons
AAAI
2000
15 years 9 months ago
Untangle: A New Ontology for Card Catalog Systems
The ontology used by most card catalog and bibliographic systems is based on a now outdated assumption that users of the systems would be looking for books on shelves, and therefo...
Christopher A. Welty, Jessica Jenkins