Sciweavers

336 search results - page 27 / 68
» Using AOP to develop architectural-neutral operating system ...
Sort
View
IEEEARES
2006
IEEE
14 years 1 months ago
DeDiSys Lite: An Environment for Evaluating Replication Protocols in Partitionable Distributed Object Systems
Distributed object systems for partitionable systems present a challenge, in that there is a trade-off between availability and consistency. Changes in one partition are not visib...
Stefan Beyer, Alexander Sanchez, Francesc D. Mu&nt...
SERP
2008
13 years 9 months ago
Mapping Data-Flow Dependencies onto Distributed Embedded Systems
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
Stefan Kugele, Wolfgang Haberl
SCS
2003
13 years 9 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
Rob Weaver, Jane Fenn, Tim Kelly
HICSS
2008
IEEE
129views Biometrics» more  HICSS 2008»
14 years 2 months ago
Valuation of Reserve Services
Spinning reserve is idle capacity connected to the system with the purpose of balancing power demand and supply in real-time and ensuring reliable system operations in the case of...
Pablo A. Ruiz, Peter W. Sauer
KDD
2005
ACM
193views Data Mining» more  KDD 2005»
14 years 8 months ago
An approach to spacecraft anomaly detection problem using kernel feature space
Development of advanced anomaly detection and failure diagnosis technologies for spacecraft is a quite significant issue in the space industry, because the space environment is ha...
Ryohei Fujimaki, Takehisa Yairi, Kazuo Machida