2607 search results - page 142 / 522 » On the Architecture of System Verification Environments |
164
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
In pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changi...
159
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
We describe a system for non-photorealistic rendering (NPR) of virtual environments. In real time, it synthesizes imagery of architectural interiors using stroke-based textures. W...
168
click to vote
EAGC
2004
Springer
15 years 12 months ago
2004
Springer
One of the goals of the EU CrossGrid project is to provide a basis for supporting the efficient execution of parallel and interactive applications on Grid environments. CrossGrid j...
156
click to vote
SWAP
2008
15 years 7 months ago
2008
This paper proposes a Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption of a standard frame...
153
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
The work we present here is mainly concerned with interagent communication, MAS communication protocols and, in particular, software tools and environments to define, experiment a...