Sciweavers

483 search results - page 81 / 97
» Patterns of Protocols
Sort
View
FMSD
2002
81views more  FMSD 2002»
13 years 7 months ago
A Notation and Logic for Mobile Computing
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
Gruia-Catalin Roman, Peter J. McCann
MONET
2007
126views more  MONET 2007»
13 years 7 months ago
Performance Evaluation of a Power Management Scheme for Disruption Tolerant Network
Disruption Tolerant Network (DTN) is characterized by frequent partitions and intermittent connectivity. Power management issue in such networks is challenging. Existing power man...
Yong Xi, Mooi Choo Chuah, K. Chang
PAMI
2007
121views more  PAMI 2007»
13 years 7 months ago
Person Authentication Using Brainwaves (EEG) and Maximum A Posteriori Model Adaptation
— In this paper, we investigate the use of brain activity for person authentication. It has been shown in previous studies that the brain-wave pattern of every individual is uniq...
Sébastien Marcel, José del R. Mill&a...
JFP
2010
142views more  JFP 2010»
13 years 6 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
JSAC
2010
88views more  JSAC 2010»
13 years 6 months ago
Modeling broadcasting using omnidirectional and directional antenna in delay tolerant networks as an epidemic dynamics
—We study broadcasting of information in a system of moving agents equipped with omnidirectional as well as directional antenna. The agent communication protocol is inspired by t...
Fernando Peruani, A. Maiti, Sanjib Sadhu, Hugues C...