933 search results - page 70 / 187 » Extending Forward Checking |
148
Voted
ACOM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
88
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
128
Voted
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
101
Voted
CAISE
2001
Springer
15 years 5 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
113
Voted
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...