Sciweavers

289 search results - page 50 / 58
» adhoc 2006
Sort
View
FMCAD
2006
Springer
14 years 1 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
DAIS
2006
13 years 11 months ago
An Application Framework for Nomadic, Collaborative Applications
To maintain availability and responsiveness, mobile applications sharing data often work on their own copy and transmit local changes to other participants. Existing systems for re...
James O'Brien, Marc Shapiro
DAIS
2006
13 years 11 months ago
Towards Context-Aware Transaction Services
Abstract. For years, transactional protocols have been defined for particular application needs. Traditionally, when implementing a transaction service, a protocol is chosen and re...
Romain Rouvoy, Patricia Serrano-Alvarado, Philippe...
ECIR
2006
Springer
13 years 11 months ago
An Information Retrieval System for Motion Capture Data
Motion capturing has become an important tool in fields such as sports sciences, biometrics, and particularly in computer animation, where large collections of motion material are ...
Bastian Demuth, Tido Röder, Meinard Müll...
CN
2006
117views more  CN 2006»
13 years 9 months ago
Error resilient image transport in wireless sensor networks
In this paper, we propose an "in-network" diversity combining scheme for image transport over wireless sensor networks. We consider a wireless sensor network with both w...
Huaming Wu, Alhussein A. Abouzeid