7520 search results - page 1143 / 1504 » Applications Development for the Computational Grid |
170
click to vote
EMNETS
2007
15 years 10 months ago
2007
The Acoustic ENSBox [1] is an embedded platform which enables practical distributed acoustic sensing by providing integrated hardware and software support in a single platform. It...
153
click to vote
DOOD
1995
Springer
15 years 10 months ago
1995
Springer
Wrappers provide access to heterogeneous information sources by converting application queries into source speci c queries or commands. In this paper we present a wrapper implemen...
159
click to vote
ISMVL
2010
IEEE
15 years 10 months ago
2010
IEEE
Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly ...
193
click to vote
AUTONOMICS
2008
ACM
15 years 8 months ago
2008
ACM
In a container transport system, wireless sensor networks (WSNs) can be used for monitoring products while they are being transported. To be commercially interesting, these WSNs m...
166
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...