554 search results - page 102 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Controlling the topology of a wireless ad hoc network is very important from the point of view of performance. One known technique for controlling the topology is throu...
MOBICOM
2006
ACM
14 years 1 months ago
2006
ACM
Abstract-The emergence of small, inexpensive, networkcapable sensing devices led to a great deal of research on the design and implementation of sensor networks. A critical step in...
NSPW
2006
ACM
14 years 1 months ago
2006
ACM
This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem statements and abstract models. We offer a comprehe...
ICFEM
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
WWIC
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. This paper presents a new perspective to the design of wireless networks using the proposed dynamic data type refinement methodology. In the forthcoming years, new portab...