3750 search results - page 141 / 750 » Timed Automata Patterns |
163
click to vote
IEAAIE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract: SumTime-Turbine produces textual summaries of archived timeseries data from gas turbines. These summaries should help experts understand large data sets that cannot be vi...
164
click to vote
COLING
2010
15 years 1 months ago
2010
Unlike static documents, version controlled documents are continuously edited by one or more authors. Such collaborative revision process makes traditional modeling and visualizat...
202
click to vote
RTAS
2008
IEEE
16 years 24 days ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...
151
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
186
click to vote
CONCUR
1992
Springer
15 years 10 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...