2638 search results - page 430 / 528 » Frameworks for Reasoning about Agent Based Systems |
163
click to vote
CLEIEJ
2007
15 years 6 months ago
2007
The term “Self-healing” denotes the capability of a software system in dealing with bugs. Fault tolerance for dependable computing is to provide the specified service through ...
207
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
185
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
190
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
144
click to vote
ATAL
2007
Springer
16 years 16 days ago
2007
Springer
Since about two decades, many works have been made in order to provide solutions to the vehicle platoon problem. The main issue related to platoon systems consists in controling t...