Sciweavers

2243 search results - page 336 / 449
» Contracts for Mobile Processes
Sort
View
NAS
2010
IEEE
15 years 4 months ago
Efficient Route Discovery Algorithm for MANETs
Blocking-ERS is an energy efficient route discovery algorithm for MANETs. It uses chase packets to improve the route request process. In Blocking-ERS, most of the time the fulfill...
Mznah Al-Rodhaan, Abdullah Al-Dhelaan
SIVP
2010
184views more  SIVP 2010»
15 years 4 months ago
Multichannel AR parameter estimation from noisy observations as an errors-in-variables issue
In various applications from radar processing to mobile communication systems based on CDMA for instance, M-AR multichannel processes are often considered and may be combined with...
Julien Petitjean, Eric Grivel, William Bobillet, P...
ESOP
2012
Springer
14 years 2 months ago
Multiparty Session Types Meet Communicating Automata
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
Pierre-Malo Deniélou, Nobuko Yoshida
MOBIQUITOUS
2008
IEEE
16 years 24 days ago
Context-aware fault tolerance in migratory services
Mobile ad hoc networks can be leveraged to provide ubiquitous services capable of acquiring, processing, and sharing real-time information from the physical world. Unlike Internet...
Oriana Riva, Josiane Nzouonta, Cristian Borcea
PERCOM
2008
ACM
16 years 23 days ago
WAITER: A Wearable Personal Healthcare and Emergency Aid System
The emerging pervasive computing is regarded as a promising solution to the systems of personal healthcare and emergency aid, which can monitor personal health status in a real-ti...
Wanhong Wu, Jiannong Cao, Yuan Zheng, Yong-Ping Zh...