291 search results - page 14 / 59 » Interface Input Output Automata |
107
click to vote
SG
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes in details the implementation of the ActiveCube system. ActiveCube allows users to construct and interact with 3D environments by using physical cubes as bi-di...
CAV
2007
Springer
15 years 5 months ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
106
click to vote
OZCHI
2005
ACM
15 years 5 months ago
2005
ACM
Technology is advancing at a rapid pace, automating many everyday chores in the process, changing the way we perform work and providing various forms of entertainment. Makers of t...
115
click to vote
EDBT
2004
ACM
15 years 11 months ago
2004
ACM
XQuery is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to be formulated. However, the number of ...
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...