3573 search results - page 197 / 715 » Reasoning about Codata |
108
Voted
RE
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we discuss how mutual influences (e.g. conflicts) of different stakeholder concerns can be detected and reasoned about through composition and stepwise refinement. S...
103
Voted
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
101
Voted
CMSB
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents binders and operators, in the process calculi tradition, to reason about biological interactions. Special binders are added to wrap a process just as membranes ...
115
Voted
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
125
Voted
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...