1541 search results - page 162 / 309 » Tools and Techniques for Model Checking Networked Programs |
117
click to vote
GC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
132
click to vote
ICDCSW
2008
IEEE
15 years 11 months ago
2008
IEEE
Automated addition of fault-tolerance to existing programs is highly desirable, as it allows the designer to focus on the system behavior in the absence of faults and leave the fa...
140
Voted
ENTCS
2002
15 years 4 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
141
Voted
ASPLOS
2012
ACM
14 years 9 days ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
166
click to vote
DSOM
2006
Springer
15 years 8 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...