906 search results - page 50 / 182 » Linking Theories of Concurrency |
153
click to vote
EWSN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we consider the minimization of a relevant energy consumption related cost function in the context of sensor networks where correlated sources are generate...
165
click to vote
AAAI
1990
15 years 7 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
124
click to vote
APSEC
2008
IEEE
16 years 18 days ago
2008
IEEE
straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...
195
click to vote
CAI
2007
Springer
16 years 9 days ago
2007
Springer
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...
142
click to vote
SIAMIS
2008
15 years 6 months ago
2008
The area distance to a convex plane curve is an important concept in computer vision. In this paper we describe a strong link between area distances and improper affine spheres. Th...