933 search results - page 161 / 187 » Extending Forward Checking |
109
click to vote
LICS
2010
IEEE
15 years 19 days ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
117
Voted
MFCS
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. Visibly pushdown transducers (VPTs) form a strict subclass of pushdown transducers (PTs) that extends finite state transducers with a stack. Like visibly pushdown automa...
108
click to vote
STTT
2010
15 years 17 days ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
132
Voted
ISOLA
2010
Springer
15 years 3 days ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
129
Voted
CISC
2009
Springer
15 years 11 hour ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...