Sciweavers

12023 search results - page 192 / 2405
» The K-Rep System Architecture
Sort
View
ISORC
2003
IEEE
15 years 11 months ago
Integrating COTS Software Components into Dependable Software Architectures
sents some concluding remarks and discusses future work. This paper considers the problem of integrating commercial off-the-shelf (COTS) software components into systems with high ...
Paulo Asterio de Castro Guerra, Alexander B. Roman...
ICFEM
2003
Springer
15 years 11 months ago
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...
CAMP
2005
IEEE
16 years 5 days ago
Automatic Parameter Regulation for a Tracking System with an Auto-Critical Function
Abstract— In this article we propose an architecture of a tracking system that can judge its own performance by an auto-critical function. Performance drops can be detected which...
Daniela Hall
CASES
2007
ACM
15 years 10 months ago
Towards understanding architectural tradeoffs in MEMS closed-loop feedback control
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of micr...
Greg Hoover, Forrest Brewer, Timothy Sherwood
SACMAT
2010
ACM
15 years 4 months ago
An architecture for enforcing end-to-end access control over web applications
The web is now being used as a general platform for hosting distributed applications like wikis, bulletin board messaging systems and collaborative editing environments. Data from...
Boniface Hicks, Sandra Rueda, Dave King 0002, Thom...