5898 search results - page 626 / 1180 » Parallel Computing Environments and Methods |
209
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
224
click to vote
CIMCA
2005
IEEE
16 years 25 days ago
2005
IEEE
Owing to the increase in both heterogeneity and complexity in today’s networking systems, the need arises for an architecture for network-based services that provides flexibilit...
174
click to vote
ESCIENCE
2005
IEEE
16 years 25 days ago
2005
IEEE
By combining automatic environment sensing and experimental data collection with broker based messaging middleware, a system has been produced for the real-time monitoring of expe...
203
click to vote
MIDDLEWARE
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. The emergence of handheld devices associated with wireless technologies has introduced new challenges for middleware. First, mobility is becoming a key characteristic; mo...
211
click to vote
VRML
2003
ACM
16 years 13 days ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...