672 search results - page 52 / 135 » A compiler-based communication analysis approach for multipr... |
KBSE
1998
IEEE
14 years 1 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
INFOCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—Cognitive radio presents a new approach to wireless spectrum utilization and management. In this work, the potential performance improvement gained by applying cognitive radio t...
ICECCS
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—In Peer-to-Peer (P2P) systems where stored objects are small, routing dominates the cost of publishing and retrieving an object. In such systems, the issue of fairly balancing t...
HRI
2006
ACM
14 years 2 months ago
2006
ACM
Along with the development of interactive robots, controlled experiments and field trials are regularly conducted to stage human-robot interaction. Experience in this field has sh...