2021 search results - page 119 / 405 » COCO: Composition Model and Composition Model Implementation |
199
Voted
LCPC
1992
Springer
15 years 9 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
146
click to vote
STOC
2002
ACM
16 years 5 months ago
2002
ACM
A fundamental problem of distributed computing is that of simulating a secure broadcast channel, within the setting of a point-to-point network. This problem is known as Byzantine...
113
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
134
click to vote
APN
2009
Springer
15 years 11 months ago
2009
Springer
In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of ...
163
click to vote
ISMAR
2008
IEEE
15 years 11 months ago
2008
IEEE
To achieve a realistic integration of virtual and real imagery in video see-through augmented reality, the rendered images should have a similar appearance and quality to those ca...