14331 search results - page 2536 / 2867 » On the modeling and analysis of obligations |
159
click to vote
STORAGESS
2005
ACM
16 years 1 months ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...
220
click to vote
VRST
2005
ACM
16 years 1 months ago
2005
ACM
In multi-user virtual environments real-world people interact via digital avatars. In order to make the step from the real world onto the virtual stage convincing the digital equi...
170
click to vote
AIED
2005
Springer
16 years 1 months ago
2005
Springer
We hereby describe DIANE an environment that aims at performing an automatic diagnosis on arithmetic problems depending on the productions of the learners. This work relies on resu...
203
click to vote
AOSE
2005
Springer
16 years 1 months ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
203
click to vote
AOSE
2005
Springer
16 years 1 months ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...