2272 search results - page 177 / 455 » A Calculus for |
221
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
121
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a method for static performance analysis of SoC architectures. The method is based on a network calculus theory known as LR servers. This network calculus is e...
150
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
Reuse of software entities such as components or web services raise composition issues since, most of the time, they present mismatching behavioural interfaces. Here, we particula...
143
click to vote
IFM
2007
Springer
15 years 10 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
113
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present a way of how to handle incomplete knowledge concerning moving objects. Our approach is based on the basic Qualitative Trajectory Calculus (QTCB), which is...