933 search results - page 49 / 187 » Extending Forward Checking |
99
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
119
Voted
BIRTHDAY
2003
Springer
15 years 4 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
135
click to vote
CONCUR
2006
Springer
15 years 2 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
79
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
In this paper, we present a very important primitive called Information Checking Protocol (ICP) which plays an important role in constructing statistical Verifiable Secret Sharing...
87
Voted
ENTCS
2006
15 years 20 days ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...