477 search results - page 57 / 96 » Concurrent Pattern Calculus |
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
To share resources in open distributed systems we have developed autonomous mobile programs, which periodically use a cost model to decide where to execute in a network. In additi...
ICFP
2000
ACM
14 years 3 days ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
GRAPHICSINTERFACE
2007
13 years 9 months ago
2007
One significant problem in tile-based texture synthesis is the presence of conspicuous seams in the tiles. The reason is that the sample patches employed as primary patterns of t...
CIE
2010
Springer
14 years 16 days ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...