4460 search results - page 208 / 892 » Formal methods for interactive systems |
119
click to vote
GI
2008
Springer
15 years 5 months ago
2008
Springer
: The number of ” interactive surface” systems, especially tabletop interfaces, in public is increasing. As more and more casual users interact with such systems, they may wish...
152
click to vote
PCM
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper, we discuss the development of wearable systems which we collectively term VizWear. Vision plays an important role in both people's and computers'...
140
click to vote
AIEDU
2005
15 years 4 months ago
2005
This paper presents the experiment and consequent evaluation of introducing the Logic-ITA in a second year tertiary undergraduate class. The Logic-ITA is a web-based Intelligent Te...
169
click to vote
AGENTCL
2003
Springer
15 years 9 months ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
134
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...