933 search results - page 72 / 187 » Extending Forward Checking |
PEPM
2007
ACM
15 years 6 months ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
138
click to vote
CSFW
2002
IEEE
15 years 5 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
149
click to vote
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
82
Voted
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
107
Voted
ICECCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...