1167 search results - page 181 / 234 » A Really Temporal Logic |
130
click to vote
HASE
1999
IEEE
15 years 5 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
101
click to vote
ICMCS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper reports on the development of a multimedia system to support collaborative design processes. The DrawStream Station was developedthrough acycle of observation of real w...
130
click to vote
BIRTHDAY
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
107
click to vote
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
103
click to vote
HYBRID
1997
Springer
15 years 5 months ago
1997
Springer
We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...