2661 search results - page 449 / 533 » Model Checking Performability Properties |
AINA
2009
IEEE
14 years 4 months ago
2009
IEEE
Over the last few years, target tracking in wireless sensor networks has become a topic of particular interest. This paper presents a tracking system intended for deployment in di...
SSS
2009
Springer
14 years 4 months ago
2009
Springer
The emergence of large-scale distributed applications based on many-to-many communication models, e.g., broadcast and decentralized group communication, has an important impact on ...
SIGMETRICS
2009
ACM
14 years 4 months ago
2009
ACM
Existing empirical studies of Internet structure and path properties indicate that the Internet is tree-like. This work quantifies the degree to which at least two important Inte...
CSMR
2007
IEEE
14 years 4 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
ICASSP
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper introduces a novel energy minimization method, namely iterated cross entropy with partition strategy (ICEPS), into the Markov random field theory. The solver, which is...