3828 search results - page 349 / 766 » Proof-Based System Engineering Using a Virtual System Model |
161
click to vote
WOWMOM
2005
ACM
16 years 7 days ago
2005
ACM
This paper proposes an intuitive configuration tool for autonomic pervasive computing systems. Specifically the paper presents a system for the inference of user task intentions f...
156
click to vote
UAI
2003
15 years 8 months ago
2003
We investigate the use of probabilistic models and cost-benefit analyses to guide the operation of a Web-based question-answering system. We first provide an overview of research ...
174
click to vote
UIST
1998
ACM
15 years 11 months ago
1998
ACM
We describe a new method and implementation for managing information through the use of physical objects. In today’s networked world, the trend is toward working in a global vir...
188
click to vote
EDUTAINMENT
2006
Springer
15 years 10 months ago
2006
Springer
In interactive computer games and computer animation, intuitively controlling the motion of an articulated character is considered as a difficult task. One of the reasons is that, ...
196
click to vote
SEKE
2004
Springer
16 years 1 days ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...