Sciweavers

5082 search results - page 637 / 1017
» Actionable Information in Vision
Sort
View
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 11 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
ASIACRYPT
2003
Springer
15 years 11 months ago
Untraceable Fair Network Payment Protocols with Off-Line TTP
A fair network payment protocol plays an important role in electronic commerce. The fairness concept in payments can be illustrated as that two parties (e.g. customers and merchant...
Chih-Hung Wang
ICMI
2000
Springer
171views Biometrics» more  ICMI 2000»
15 years 11 months ago
Gaze and Speech in Attentive User Interfaces
The trend toward pervasive computing necessitates finding and implementing appropriate ways for users to interact with devices. We believe the future of interaction with pervasive ...
Paul P. Maglio, Teenie Matlock, Christopher S. Cam...
ISN
1995
Springer
15 years 11 months ago
Intelligent Remote Monitoring
Intelligent monitoring facilities are of paramount importance in both service and network management as they provide the capability to monitor quality of service and utilisation pa...
George Pavlou, Kevin M. T. McCarthy, George Mykoni...
KORSO
1995
15 years 11 months ago
TROLL light - The Language and its Development Environment
in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers,...
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf...