4099 search results - page 496 / 820 » A Framework for Interactive Proof |
167
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The frameworks for protecting security and privacy can be effective only if common users--with no training in computer science or logic--increase their awareness and cont...
152
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In the context of a research about application of dynamic visualisation parameters in animations for monitoring purposes, this paper reports on characteristics of dynamic...
183
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...
178
click to vote
CBSE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
150
click to vote
AMI
2009
Springer
15 years 9 months ago
2009
Springer
Existing work on sensor-based activity recognition focuses mainly on single-user activities. However, in real life, activities are often performed by multiple users involving inter...