3653 search results - page 166 / 731 » On Recognizable Timed Languages |
160
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
147
click to vote
LADS
2007
Springer
15 years 11 months 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...
161
click to vote
APSEC
2005
IEEE
15 years 10 months 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...
160
Voted
PRDC
2005
IEEE
15 years 10 months 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...
130
click to vote
GPCE
2005
Springer
15 years 10 months 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...