690 search results - page 101 / 138 » Testing Temporal Logic Properties in Distributed Systems |
111
click to vote
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
Due to the better utilization of computational and communication resources and the improved coordination of application subsystems, designers of large distributed embedded systems...
104
Voted
CORR
2008
Springer
15 years 17 days ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
112
click to vote
APN
2008
Springer
15 years 2 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
110
click to vote
AOSD
2008
ACM
15 years 2 months ago
2008
ACM
Many aspect-oriented middleware platforms support run-time aspect weaving, but do not support coordinating distributed changes to a set of aspects at run-time. A distributed chang...
177
Voted
ARTS
1999
Springer
15 years 4 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...