1548 search results - page 200 / 310 » Semantics and Extensions of WS-Agreement |
130
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
167
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
The notion of spatio-temporal multi-granularity is fundamental when modeling objects in GIS applications in that it supports the representation of the temporal evolutions of these ...
158
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
This paper is centered on the family of Dung’s finite argumentation frameworks when the attacks relation is symmetric (and nonempty and irreflexive). We show that while this fa...
132
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...