3825 search results - page 76 / 765 » The Language of Time: A Reader |
209
click to vote
EMSOFT
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz' Time-Triggered Architectures (TTA) have been proposed ...
126
click to vote
ECBS
2005
IEEE
15 years 11 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
190
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
165
click to vote
TAL
2010
Springer
15 years 16 days ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
122
click to vote
ENTCS
2008
15 years 5 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...