11436 search results - page 262 / 2288 » Modeling Real Reasoning |
137
Voted
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
153
Voted
CBSE
2004
Springer
15 years 9 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
111
Voted
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The proliferation of sensor networks in various areas of technology has enabled real-time behavioral monitoring of various physical systems in various length and time sca...
127
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
144
Voted
DSRT
2003
IEEE
15 years 9 months ago
2003
IEEE
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...