660 search results - page 121 / 132 » Reasoning about Dynamic Policies |
119
click to vote
BROADNETS
2004
IEEE
15 years 3 months ago
2004
IEEE
Survivability becomes increasingly critical in managing high-speed networks as data traffic continues to grow in both size and importance. In addition, the impact of failures is e...
110
click to vote
QI
2009
Springer
15 years 6 months ago
2009
Springer
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...
110
click to vote
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
BMCBI
2008
14 years 11 months ago
2008
Background: The inference of a genetic network is a problem in which mutual interactions among genes are deduced using time-series of gene expression patterns. While a number of m...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...