5683 search results - page 271 / 1137 » Interactive Schedulability Analysis |
120
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
Maintenance engineers need to understand component dependencies in a system to successfully modify component implementations. Interaction dependencies are especially hard to under...
215
click to vote
APCHI
2008
IEEE
16 years 1 months ago
2008
IEEE
Denial of Sleeping is a novel type of potential attacks in wireless network. The object of the attack is a sensor node’s power supply. To make sensors inexpensive so that they ca...
181
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
163
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
We introduce a novel technique for comparing graphs using the structure of their subgraphs, which we call a graph's fine structure. Our technique compares graphs using the ear...
167
click to vote
HCI
2009
15 years 4 months ago
2009
Hierarchies have long been used as useful structuring mechanisms for organizing and managing documents. This study looks at the problem of personal digital document management in t...