3653 search results - page 60 / 731 » On Recognizable Timed Languages |
ADAEUROPE
2005
Springer
15 years 3 months ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
DOCENG
2004
ACM
15 years 3 months ago
2004
ACM
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
ICECCS
2005
IEEE
15 years 3 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...