4099 search results - page 59 / 820 » A Framework for Interactive Proof |
ENTCS
2008
14 years 9 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
COOPIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Agent-based approaches in application development seem to meet the requirements of adaptability, scalability, decentralization, and flexibility imposed by complex software systems....
106
click to vote
PUC
2007
14 years 9 months ago
2007
The results of a study of two computer games, that use human movement as direct input, were analysed using four existing frameworks and approaches, drawn from different disciplines...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
We present a new interaction framework for collaborating in multiple display environments (MDEs) and report results from a field study investigating its use in an authentic work s...
ENTCS
2006
14 years 9 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...