Sciweavers

1080 search results - page 79 / 216
» Protocol Based Communication for Situated Multi-Agent System...
Sort
View
ENTCS
2008
118views more  ENTCS 2008»
14 years 10 months ago
The STSLib Project: Towards a Formal Component Model Based on STS
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
Fabrício Fernandes, Jean-Claude Royer
ISLPED
2003
ACM
197views Hardware» more  ISLPED 2003»
15 years 3 months ago
Analyzing the energy consumption of security protocols
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...
Nachiketh R. Potlapally, Srivaths Ravi, Anand Ragh...
GLOBECOM
2006
IEEE
15 years 3 months ago
A Location-based Directional Route Discovery (LDRD) Protocol in Mobile Ad-hoc Networks
– Mobile Ad-hoc Networks (MANETs) are important in pervasive computing systems, in which users discover and utilize various services to achieve their goals. Integrating service d...
Stephen S. Yau, Wei Gao, Dazhi Huang
BSN
2009
IEEE
141views Sensor Networks» more  BSN 2009»
15 years 4 months ago
Low-Complexity, High-Throughput Multiple-Access Wireless Protocol for Body Sensor Networks
Wireless systems that form a body-area network must be made small and low power without sacrificing performance. To achieve high-throughput communication in low-cost wireless bod...
Seung-mok Yoo, Chong-Jing Chen, Pai H. Chou
INFOCOM
2005
IEEE
15 years 3 months ago
Improved single-round protocols for remote file synchronization
— Given two versions of a file, a current version located on one machine and an outdated version known only to another machine, the remote file synchronization problem is how t...
Utku Irmak, Svilen Mihaylov, Torsten Suel