449 search results - page 47 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
120
Voted
ISMAR
2006
IEEE
15 years 7 months ago
2006
IEEE
With tracking setups becoming increasingly complex, it gets more difficult to find suitable algorithms for tracking, calibration and sensor fusion. A large number of solutions e...
121
click to vote
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
139
click to vote
ENTCS
2007
15 years 1 months ago
2007
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...
112
click to vote
CIA
2004
Springer
15 years 7 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
127
click to vote
ETFA
2006
IEEE
15 years 5 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...