1567 search results - page 242 / 314 » A Mechanized Model of the Theory of Objects |
TLDI
2003
ACM
15 years 5 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
105
click to vote
EWHCI
1993
15 years 4 months ago
1993
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing service...
117
click to vote
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
We describe a general mechanism for adaptation in multiagent systems in which agents modify their behavior based on their memory of past events. These behavior changes can be elic...
HYBRID
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
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...