926 search results - page 115 / 186 » Prolog as the First Programming Language |
145
click to vote
LMO
1996
15 years 6 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
254
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
219
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
This paper presents the first experimental evaluation of the length-lex domain for set variables. The implementation is based on bound-consistency algorithms proposed in earlier wo...
148
Voted
CP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we overview our recent work and outline our current line of research: First, we describe the WCSP framework and its related local consistencies. Second, the Max-SAT p...
129
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
: This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, confidentiality...