356 search results - page 57 / 72 » Rate-constrained distributed distance testing and its applic... |
106
click to vote
COOP
2004
15 years 1 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
101
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: For ecological studies, it is crucial to count on adequate descriptions of the environments and samples being studied. Such a description must be done in terms of thei...
SENSYS
2005
ACM
15 years 5 months ago
2005
ACM
Being embedded in the physical world, sensor networks present a wide range of bugs and misbehavior qualitatively different from those in most distributed systems. Unfortunately, d...
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
ESWS
2006
Springer
15 years 3 months ago
2006
Springer
Because metadata that underlies semantic web applications is gathered from distributed and heterogeneous data sources, it is important to ensure its quality (i.e., reduce duplicate...