575 search results - page 63 / 115 » Transition systems for designing and reasoning about norms |
CHI
2011
ACM
14 years 3 months ago
2011
ACM
This paper argues for evaluating the impact of persuasive systems on users beyond metrics that focus on system usage, based on an interview study of 16 Wii Fit users. While explor...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Information about online presence allows participants of instant messaging (IM) systems to determine whether their prospective communication partners will be able to answer their ...
101
click to vote
ECRTS
1999
IEEE
15 years 3 months ago
1999
IEEE
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...
SIGMOD
1999
ACM
15 years 3 months ago
1999
ACM
Query processing in data integration occurs over network-bound, autonomous data sources. This requires extensions to traditional optimization and execution techniques for three re...
OPODIS
2004
15 years 28 days ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...