10669 search results - page 280 / 2134 » Software - Implemented Self-healing System |
162
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
The algebraic specification of information systems (including
207
click to vote
SOCO
2010
Springer
15 years 2 months ago
2010
Springer
Abstract When searching for information about historical events, queries are naturally formulated using temporal constraints. However, the structured temporal information needed to...
186
click to vote
FDL
2005
IEEE
16 years 28 days ago
2005
IEEE
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...
187
click to vote
SG
2010
Springer
16 years 11 days ago
2010
Springer
Abstract. We present a prototype sketch-based physics tutoring system that combines mathematical sketching, an interaction paradigm that supports construction of dynamic illustrati...
183
click to vote
SRDS
1997
IEEE
15 years 11 months ago
1997
IEEE
Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...