1980 search results - page 312 / 396 » Compositional Model Checking of Real Time Systems |
122
click to vote
WSC
1998
15 years 3 months ago
1998
The fast growth in airline passenger traffic combined with the slow growth in airport capacity worldwide is putting a severe strain on the capability of airlines to adapt their pr...
156
Voted
CLADE
2003
IEEE
15 years 8 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
127
Voted
SAFECOMP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
144
Voted
ANLP
1994
15 years 3 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
116
Voted
AVI
2004
15 years 4 months ago
2004
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...