1205 search results - page 132 / 241 » Program Extraction from Large Proof Developments |
120
click to vote
DAGSTUHL
2003
15 years 2 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
When describing the resource usage of a program, it is usual to talk in asymptotic terms, such as the well-known “big O” notation, whereby we focus on the behaviour of the prog...
105
click to vote
WCRE
2006
IEEE
15 years 7 months ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
107
click to vote
SIGCSE
2006
ACM
15 years 7 months ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
103
click to vote
EDCC
2006
Springer
15 years 5 months ago
2006
Springer
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...