4099 search results - page 363 / 820 » A Framework for Interactive Proof |
153
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
187
click to vote
JOLLI
2010
15 years 5 months ago
2010
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic tempora...
166
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. OASIS is an Integrated Project with the aim to revolutionise the interoperability, quality, breadth and usability of services for all daily activities of the elderly, by ...
161
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
We have developed a middleware framework for workgroup environments that can support distributed software development and a variety of other application domains requiring document...
177
click to vote
GECCO
2004
Springer
16 years 3 days ago
2004
Springer
This paper proposes an evolutionary framework where a network service is created from a group of autonomous agents that interact and evolve. Agents in our framework are capable of ...