1541 search results - page 222 / 309 » Tools and Techniques for Model Checking Networked Programs |
123
click to vote
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
The Context Modelling Language (CML), derived from Object Role Modeling (ORM), is a powerful approach for capturing the pertinent object types and relationships between those type...
114
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
— We present BARAKA, a new simulator for SANETs. The evaluation of algorithms developed for communication and co-operation in this context is usually accomplished separately. On ...
169
click to vote
QOFIS
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we present an analysis of the impact of using media–dependent Forward Error Correction (FEC) in VoIP flows over the Internet. This error correction mechanism cons...
137
click to vote
WSC
2008
15 years 6 months ago
2008
Multi-Agent Resource Allocation (MARA) is a field developing solutions to the problem of distributing a number of resources amongst multiple agents. This field has interdisciplina...
148
click to vote
IFM
2005
Springer
15 years 9 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...