974 search results - page 86 / 195 » Formal Modeling of Communication Traces |
100
click to vote
COORDINATION
2006
Springer
15 years 3 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
MSWIM
2003
ACM
15 years 5 months ago
2003
ACM
— The characteristics of wireless packet loss have been studied extensively. Most efforts focus on the temporal loss characteristics at individual stations. For multicast protoco...
113
click to vote
TABLEAUX
1998
Springer
15 years 3 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
HPDC
2010
IEEE
15 years 23 days ago
2010
IEEE
We introduce LogGOPSim--a fast simulation framework for parallel algorithms at large-scale. LogGOPSim utilizes a slightly extended version of the well-known LogGPS model in combin...
110
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
In this work, we investigate the security of anonymous wireless sensor networks. To lay down the foundations of a formal framework, we propose a new model for analyzing and evalua...