2501 search results - page 255 / 501 » Obligations and Their Interaction with Programs |
165
click to vote
SOCO
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
164
Voted
CONCUR
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
163
click to vote
MHCI
2007
Springer
16 years 8 days ago
2007
Springer
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
149
click to vote
TSD
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Embodied Conversational Agent (ECA) is the user interface metaphor that allows to naturally communicate information during human-computer interaction in synergic modality...
164
click to vote
AVSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...