352 search results - page 24 / 71 » Representing Users in a Travel Support System |
162
click to vote
OPODIS
2004
15 years 7 months 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...
151
click to vote
CSCW
2006
ACM
15 years 11 months ago
2006
ACM
This work seeks to strengthen interaction within a research community through a centrally-located physical device that presents online presence information in a semi-public space....
167
click to vote
BPM
2009
Springer
15 years 6 months ago
2009
Springer
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
161
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
143
click to vote
APCHI
1998
IEEE
15 years 10 months ago
1998
IEEE
Direct manipulation interfaces are characterised according to the representation of the task domain: the domain objects and the effect of user operations on those objects. In the ...