475 search results - page 48 / 95 » Temporal Logic Model Checking (Abstract) |
106
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
116
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
131
click to vote
FMCAD
1998
Springer
15 years 5 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
110
click to vote
AIME
2007
Springer
15 years 7 months ago
2007
Springer
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...
114
click to vote
CSL
2004
Springer
15 years 6 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...