7380 search results - page 577 / 1476 » Engineering Software Intensive Systems |
144
Voted
UIST
1998
ACM
15 years 10 months ago
1998
ACM
We present a new system, called Cirrin, for pen input of ASCII characters using word-level unistrokes. Our system addresses the tradeoff between speed and accuracy of penbased tex...
127
Voted
UIST
1996
ACM
15 years 10 months ago
1996
ACM
The Cage is an easy to use 3D grid. Built into a 3D modeler, it provides a visualized reference coordinate system that helps the user to orient himself in 3D space, and that suppo...
170
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
171
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
164
click to vote
AVI
2006
15 years 7 months ago
2006
In this paper, we introduce SCACS, a Social Context-Aware Communication System that facilitates face-to-face communications between old-timers and newcomers in a research communit...