395 search results - page 44 / 79 » On the integration of sensor networks and general purpose IT... |
FMICS
2010
Springer
13 years 8 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
PETRA
2009
ACM
14 years 2 months ago
2009
ACM
The Ambient Kitchen is a high fidelity prototype for exploring the design of pervasive computing algorithms and applications for everyday environments. The environment integrates ...
NAR
2007
13 years 7 months ago
2007
Information on protein–protein interactions is still mostly limited to a small number of model organisms, and originates from a wide variety of experimental and computational te...
IWCMC
2006
ACM
14 years 1 months ago
2006
ACM
Self-Organized Networks (SONs) are a general description of autonomous networks without infrastructure, of which Ad Hoc, Sensor and Mesh networks are special cases. We had previou...
LREC
2008
13 years 9 months ago
2008
In this paper we address the issue of developing an interoperable infrastructure for language resources and technologies. In our approach, called UFRA, we extend the Federate Data...