4190 search results - page 471 / 838 » Implementing commitment-based interactions |
133
click to vote
EUC
2005
Springer
15 years 10 months ago
2005
Springer
As a promising technology that enables ubiquitous computing and leads IT industries of next generation, sensor networks (SN) are foreseen to expand and populate the globe in such a...
124
click to vote
FC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Users are often forced to trust potentially malicious terminals when trying to interact with a remote secure system. This paper presents an approach for ensuring the inte...
162
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
152
click to vote
GW
2005
Springer
15 years 10 months ago
2005
Springer
This paper compares different algorithms for tracking the position of fingers in a two-dimensional environment. Four algorithms have been implemented in EyesWeb, developed by DIS...
150
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...