1326 search results - page 217 / 266 » Semantic Coherence in Software Engineering |
ICESS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
SOCO
2005
Springer
15 years 3 months ago
2005
Springer
Due to the large success of wireless networks and portable devices, the pervasive computing paradigm is becoming a reality. One of the most challenging objectives to be achieved in...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
FOSSACS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
109
click to vote
FOSSACS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...