3238 search results - page 184 / 648 » On the Computational Interpretation of Negation |
187
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
135
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
We present a prefix forwarding algorithm for content-based publish/subscribe systems. Our algorithm performs only one content-based match per message regardless of the number of r...
162
click to vote
CTRS
1987
15 years 10 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
156
click to vote
APSCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Service Level Agreements (SLAs) is currently one of the major research topics in Grid Computing. Among many system components for the supporting of SLA-aware Gridbased workflow, t...
203
click to vote
LICS
2006
IEEE
16 years 17 days ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...