3694 search results - page 429 / 739 » Understanding experience in interactive systems |
160
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
165
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
Inspired by perception in biological systems, distribution of a massive amount of simple sensing devices is gaining more support in detection applications. A focus on fusion of se...
163
click to vote
ISWC
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe an experimental wearable augmented reality system that enables users to experience hypermedia presentations that are integrated with the actual outdoor locations to wh...
179
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
Agents can personalize otherwise impersonal computational systems. The World Wide Web presents the same appearance to every user regardless of that user’s past activity. Web Bro...
191
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
The components of the World Wide Web, which we call the World Wide Web Shell, provide a framework for collaborative application development in much the same way as an expert syste...