1161 search results - page 40 / 233 » Kinetic Dependence Graphs |
117
Voted
DSN
2009
IEEE
15 years 3 months ago
2009
IEEE
The dependability of overlay services rely on the overlay network’s capabilities to effectively diagnose and recover faults (e.g., link failures, overlay node outages). However,...
SERP
2008
15 years 1 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
91
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
102
click to vote
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
93
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—A novel formulation for optimal sensor selection and in-network fusion for distributed inference known as the prizecollecting data fusion (PCDF) is proposed in terms of optimal ...