1980 search results - page 110 / 396 » Compositional Model Checking of Real Time Systems |
ICCS
2004
Springer
15 years 7 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...
122
click to vote
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
129
click to vote
ICWS
2010
IEEE
15 years 6 days ago
2010
IEEE
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
141
click to vote
ECLIPSE
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...