352 search results - page 24 / 71 » Representing Users in a Travel Support System |
OPODIS
2004
13 years 10 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...
CSCW
2006
ACM
14 years 2 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....
BPM
2009
Springer
13 years 9 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...
CADE
2010
Springer
13 years 9 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...
APCHI
1998
IEEE
14 years 26 days 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 ...