1682 search results - page 102 / 337 » A behavior model for persuasive design |
151
click to vote
SAFECOMP
2001
Springer
15 years 10 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
144
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Recent advances in technology allow multi-agent systems to be deployed in cooperation with or as a service for humans. Typically, those systems are designed assuming individually ...
155
click to vote
RTSS
2008
IEEE
16 years 21 days ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
169
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
— The aim of this paper is to investigate how stigmergic information allow each individual of a group of autonomous robots to take advantages from other individual behaviors. The...
205
click to vote
ACMMSP
2006
ACM
16 years 8 days ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...