1161 search results - page 58 / 233 » Kinetic Dependence Graphs |
110
Voted
SIAMAM
2010
14 years 11 months ago
2010
This paper concerns the dynamical behavior of weakly reversible, deterministically modeled population processes near the facets (codimension-one faces) of their invariant manifolds...
108
click to vote
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
127
Voted
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
85
Voted
IFIP
2009
Springer
14 years 10 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
141
click to vote
SCAM
2002
IEEE
15 years 5 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...