401 search results - page 77 / 81 » Formal Analysis of Meeting Protocols |
ICCV
1995
IEEE
14 years 1 months ago
1995
IEEE
We present a novel motion-based approach for the part determination and shape estimation of a human’s body parts. The novelty of the technique is that neither a prior model of t...
ENTCS
2007
13 years 10 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
FASE
2011
Springer
13 years 1 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
CLUSTER
2009
IEEE
14 years 5 months ago
2009
IEEE
—Current leadership-class machines suffer from a significant imbalance between their computational power and their I/O bandwidth. While Moore’s law ensures that the computatio...
INFOCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Realistic mobility models are important to understand the performance of routing protocols in wireless ad hoc networks, especially when mobility-assisted routing scheme...