933 search results - page 22 / 187 » Extending Forward Checking |
90
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
89
Voted
JAR
2006
15 years 21 days ago
2006
We use some recent techniques from process algebra to draw several conclusions about the well studied class of ping-pong protocols introduced by Dolev and Yao. In particular we sho...
120
Voted
ICWS
2010
IEEE
14 years 11 months ago
2010
IEEE
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
112
Voted
DLOG
2007
15 years 3 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
XSYM
2005
Springer
15 years 6 months ago
2005
Springer
Recently, the issue of functional dependencies in XML (XFDs) have been investigated. In this paper we consider the problem of checking the satisfaction of an XFD in an XML document...