Sciweavers

1033 search results - page 79 / 207
» Properties of Exercise Strategies
Sort
View
92
Voted
CSSE
2008
IEEE
15 years 4 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
ICC
2007
IEEE
131views Communications» more  ICC 2007»
15 years 4 months ago
Cooperative Digital Audio Broadcast Networks
Abstract— Digital Audio Broadcast (DAB) systems are considered for delivery of audio information to users in heavily attended sporting, cultural, and amusement events [1]. A uniq...
Ahmed Bader
92
Voted
CCGRID
2005
IEEE
15 years 3 months ago
Application-level simulation modelling of large grids
The simulation of large grids requires the generation of grid instances and an approximation of grid components’ behaviour. To generate grid instances, this paper outlines a set...
Serafeim Zanikolas, Rizos Sakellariou
ICAC
2005
IEEE
15 years 3 months ago
The J3 Process for Building Autonomic Enterprise Java Bean Systems
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed enterprise applications. This paper provides two contributions to the...
Jules White, Douglas C. Schmidt, Aniruddha S. Gokh...
ICRA
2005
IEEE
134views Robotics» more  ICRA 2005»
15 years 3 months ago
Towards Decentralization of Multi-robot Navigation Functions
—We present a navigation function through which a group of mobile agents can be coordinated to achieve a particular formation, both in terms of shape and orientation, while avoid...
Herbert G. Tanner, Amit Kumar