3228 search results - page 331 / 646 » Computationally Sound Proofs |
133
click to vote
CW
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an evaluation of the benefits and user acceptance of a multimodal interface in which the user interacts with a game-like interactive virtual reality applicati...
132
click to vote
CAISE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Today’s large-scale computing systems are deployed in open, changing and unpredictable environments. To operate reliably, such systems should be able to adapt to new ci...
118
click to vote
CSCWD
2001
Springer
15 years 8 months ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
159
click to vote
DBPL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...
128
Voted
ECBS
2000
IEEE
15 years 8 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...