682 search results - page 86 / 137 » Environment Matting and Compositing |
CONCUR
1999
Springer
13 years 12 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
ICMCS
1994
IEEE
13 years 11 months ago
1994
IEEE
As computers are increasingly used to mediate social interaction, tools are needed not only to support direct communication, but also to create a richer social environment for the...
FTDCS
2004
IEEE
13 years 11 months ago
2004
IEEE
Aimed to provide computation ubiquitously, pervasive computing is perceived as a means to provide an user the transparency of anywhere, anyplace, anytime computing. Pervasive comp...
ATAL
2009
Springer
13 years 8 months ago
2009
Springer
MAGE (Multi-Agent Game Environment) is a logic-based framework that uses games as a metaphor for representing complex agent activities within an artificial society. More specifical...
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
In this paper, we present COSMOS, a novel architecture for macroprogramming heterogeneous sensor network systems. Macroprogramming entails aggregate system behavior specification...