2661 search results - page 306 / 533 » Model Checking Performability Properties |
116
click to vote
P2P
2006
IEEE
15 years 6 months ago
2006
IEEE
Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment,...
130
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
We present a new approach to reconstruct the shape of a 3D object or scene from a set of calibrated images. The central idea of our method is to combine the topological flexibilit...
126
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
102
Voted
SENSYS
2004
ACM
15 years 6 months ago
2004
ACM
Previous approaches for computing duplicate-sensitive aggregates in sensor networks (e.g., in TAG) have used a tree topology, in order to conserve energy and to avoid double-count...
89
Voted
CASCON
2006
15 years 2 months ago
2006
One aspect of autonomic computing is the ability to identify, separate and automatically tune parameters related to performance, security, robustness and other properties of a sof...