Sciweavers

53 search results - page 7 / 11
» Interaction without commitments: an initial approach
Sort
View
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
13 years 11 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
JCS
2011
126views more  JCS 2011»
13 years 2 months ago
Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey
One of the main challenges in pervasive computing is how we can establish secure communication over an untrusted high-bandwidth network without any initial knowledge or a Public K...
L. H. Nguyen, A. W. Roscoe
FTDCS
2003
IEEE
14 years 20 days ago
Autonomous Transaction Processing Using Data Dependency in Mobile Environments
Mobile clients retrieve and update databases at servers. They use transactions in order to ensure the consistency of shared data in the presence of concurrent accesses. Transactio...
IlYoung Chung, Bharat K. Bhargava, Malika Mahoui, ...
QI
2009
Springer
117views Physics» more  QI 2009»
14 years 1 months ago
Generalising Unitary Time Evolution
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...
Kirsty Kitto, Peter Bruza, Laurianne Sitbon
ICRA
2009
IEEE
163views Robotics» more  ICRA 2009»
14 years 2 months ago
Markerless human motion tracking with a flexible model and appearance learning
— A new approach to the 3D human motion tracking problem is proposed, which combines several particle filters with a physical simulation of a flexible body model. The flexible...
Florian Hecht, Pedram Azad, Rüdiger Dillmann