1541 search results - page 222 / 309 » Tools and Techniques for Model Checking Networked Programs |
PERCOM
2007
ACM
16 years 6 days 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...
90
Voted
COMSWARE
2007
IEEE
15 years 7 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 ...
141
Voted
QOFIS
2004
Springer
15 years 6 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...
104
Voted
WSC
2008
15 years 2 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...
117
click to vote
IFM
2005
Springer
15 years 6 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...