1081 search results - page 127 / 217 » Hierarchical Heterogeneous Specifications |
IEEECIT
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--The size, heterogeneity and dynamism of the execution platforms of scientific applications, like computational grids, make using those platforms complex. Furthermore, tod...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
We present a sensor network testbed that monitors a hallway. It consists of 120 load sensors and 29 passive infrared sensors (PIRs), connected to 30 wireless sensor nodes. There ar...
172
click to vote
AMAST
2010
Springer
14 years 5 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
HRI
2012
ACM
13 years 5 months ago
2012
ACM
In this paper we describe our prototyping environment to study concepts for empowering a single user to control robotic multi-agent systems. We investigate and validate these conc...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Personalized web search is a promising way to improve search quality by customizing search results for people with individual information goals. However, users are uncomfortable w...