Sciweavers

574 search results - page 100 / 115
» Coalitions in Action Logic
Sort
View
ISSTA
2004
ACM
14 years 1 months ago
Automating commutativity analysis at the design level
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...
Greg Dennis, Robert Seater, Derek Rayside, Daniel ...
ITS
2004
Springer
130views Multimedia» more  ITS 2004»
14 years 1 months ago
Opening the Door to Non-programmers: Authoring Intelligent Tutor Behavior by Demonstration
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...
Kenneth R. Koedinger, Vincent Aleven, Neil T. Heff...
HICSS
2003
IEEE
147views Biometrics» more  HICSS 2003»
14 years 1 months ago
Decision Making for Robust Resilient Systems
Robust and resilient interconnected structures rely on decision procedures, both under uncertainty and multicriteria. In decision under uncertainty, we aim at finding a scoring p...
Richard Aló, André de Korvin, Fran&c...
GLOBAL
2003
Springer
14 years 1 months ago
The Klaim Project: Theory and Practice
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gi...
GI
2009
Springer
14 years 14 days ago
Applying Semantic Technologies for Context-Aware AAL Services: What we can learn from SOPRANO
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 ...
Peter Wolf, Andreas Schmidt, Michael Klein