8377 search results - page 394 / 1676 » Scenarios - Introduction |
172
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
By the use of declarative rules, automation of tasks can be performed through an electronic personal information management (PIM) application. Rules can be used in a variety of di...
167
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
In this SIG, we will present scenarios that exemplify many of the key challenges of doing user research and usability evaluation internationally. We will use these to stimulate di...
300
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
165
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...
173
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
The large scale adoption of adaptive services in pervasive and mobile computing is likely to be conditioned to the availability of reliable privacy-preserving technologies. Unfort...