2501 search results - page 193 / 501 » Obligations and Their Interaction with Programs |
137
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
This demonstration presents the concepts, design, and implementation of SCDE, a relational database systems extended with the ability to solve constraint satisfaction problems (CS...
120
click to vote
ACMDIS
2006
ACM
15 years 10 months ago
2006
ACM
Designers generally agree that understanding the context of use is important in designing products. However, technologically advanced products such as personal robots engender com...
136
click to vote
DIGITEL
2007
IEEE
15 years 11 months ago
2007
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...
133
click to vote
APCHI
2004
IEEE
15 years 8 months ago
2004
IEEE
The paper is concerned with increasing our understanding of creative expertise drawing upon studies of collaboration between technologists and artists. The nature of expertise in c...
128
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...