534 search results - page 71 / 107 » Agent-environment interaction in a multi-agent system: a for... |
84
Voted
WWW
2001
ACM
15 years 11 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
IUI
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
77
Voted
ASM
2008
ASM
15 years 1 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
BELL
2000
14 years 11 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...