1215 search results - page 96 / 243 » Testing in the Distributed Test Architecture: An Extended Ab... |
152
click to vote
CSR
2008
Springer
15 years 8 months ago
2008
Springer
The universal cover TG of a connected graph G is the unique (possible infinite) tree covering G, i.e., that allows a locally bijective homomorphism from TG to G. Universal covers h...
247
click to vote
CD
2005
Springer
15 years 12 months ago
2005
Springer
Recent studies showed potential for using component frameworks for building flexible adaptible applications for deployment in distributed environments. However this approach is h...
218
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Abstract. Peer Data Management Systems (PDMS) have recently attracted attention by the database community. One of the main challenges of this paradigm is the development and evalua...
154
click to vote
COMPSAC
2006
IEEE
16 years 11 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
192
click to vote
DASC
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract— Wireless Sensor Networks (WSNs) have critical applications in diverse domains like environmental monitoring and military operations where accurate location of sensors i...