506 search results - page 89 / 102 » Logics for Action |
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
ISW
2004
Springer
15 years 5 months ago
2004
Springer
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
ITS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
163
click to vote
GLOBAL
2003
Springer
15 years 5 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
101
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Ambient assisted living (AAL) is a newly emerging term describing a research area with focus on services that support people in their daily life with particular focus on ...