682 search results - page 64 / 137 » Environment Matting and Compositing |
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
Failure detectors are a service that provides (approximate) information about process crashes in a distributed system. The well-known “eventually perfect” failure detector, 3P...
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
ACSD
2004
IEEE
13 years 11 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
Geospatial Web services allow to access and to process Geospatial data. Despite significant standardisation efforts, severe heterogeneity and interoperability problems remain. The ...
DAIS
2007
13 years 9 months ago
2007
Because they are required to support component deployment and composition, modern execution environments embody a number of common features such as dynamic linking and support for ...