1980 search results - page 111 / 396 » Compositional Model Checking of Real Time Systems |
113
click to vote
DEBS
2008
ACM
15 years 3 months ago
2008
ACM
Automatic service composition is an active research area in the field of service computing. This paper presents a distributed approach to automatically discover a composition of s...
121
click to vote
RTCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
IEAAIE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
120
click to vote
ENTCS
2006
15 years 1 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
127
Voted
ISORC
2006
IEEE
15 years 7 months ago
2006
IEEE
Many real-time applications, such as traffic control systems, surveillance systems and health monitoring systems, need to operate on continuous unbounded streams of data. These ap...