682 search results - page 61 / 137 » Environment Matting and Compositing |
CONCURRENCY
2010
13 years 9 months ago
2010
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...
TC
1998
13 years 8 months ago
1998
—The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
ACHI
2010
IEEE
14 years 3 months ago
2010
IEEE
— This research proposes a method for producing music via visual composition in a computer-game like environment. This is accomplished through the development of artificial intel...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
APLAS
2008
ACM
13 years 11 months ago
2008
ACM
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...