690 search results - page 103 / 138 » Testing Temporal Logic Properties in Distributed Systems |
122
click to vote
FMSD
2006
15 years 3 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
258
click to vote
Publication
The detection of bad weather conditions is crucial for meteorological centers, specially with demand for air, sea and ground traffic management. In this article, a system based on ...
KI
2007
Springer
15 years 9 months ago
2007
Springer
Behaviour recognition in a video scene consists of several distinct sub-tasks: objects or object parts must be recognised, classified and tracked, qualitative spatial and temporal...
148
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper is concerned with studying how the minimum power loss in a power system is related to its network topology. The existing algorithms in the literature all exploit nonline...
157
click to vote
COMPUTER
2002
15 years 3 months ago
2002
ectly support interaction with abstraction. Using technologies that go beyond searching individual repositories to analyzing and correlating knowledge across multiple sources and s...