4666 search results - page 279 / 934 » Equations on Timed Languages |
177
click to vote
LADS
2007
Springer
16 years 25 days ago
2007
Springer
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...
186
click to vote
APSEC
2005
IEEE
16 years 10 days ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
192
Voted
PRDC
2005
IEEE
16 years 8 days ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
159
click to vote
GPCE
2005
Springer
16 years 7 days ago
2005
Springer
Saving the internal data of an application in an external form is called marshalling. A generic marshaller is difficult to optimize because the format of the data that will be mars...
207
click to vote
HYBRID
2005
Springer
16 years 7 days ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...