1941 search results - page 159 / 389 » Reasoning about Computations Using Two-Levels of Logic |
144
click to vote
DAC
2004
ACM
15 years 7 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
143
Voted
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
102
Voted
UAIS
2002
2002
Dialoguing with developers and suppliers of adaptive computer technologies: Data and recommendations
15 years 3 months ago
The authors report on findings on computer technology needs and concerns of 725 Canadian college and university students with a wide range of disabilities. The vast majority of thi...
117
click to vote
RR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
126
Voted
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...