3387 search results - page 398 / 678 » Model-Checking for Real-Time Systems |
228
Voted
CMG
2001
15 years 9 months ago
2001
Rapid advances in research and technology now allow data analysis and modeling of extremely complex systems. Methods from artificial intelligence (AI) such as Neural Networks have...
188
Voted
RTCSA
2009
IEEE
16 years 2 months ago
2009
IEEE
—Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends...
223
click to vote
HICSS
2003
IEEE
16 years 24 days ago
2003
IEEE
The underlying structure of why and how consumers value reliability of electric service is explored, together with the technological options and cost characteristics for the provi...
201
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
182
click to vote
IFIP13
2004
15 years 9 months ago
2004
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...