4476 search results - page 550 / 896 » A flexible framework for engineering |
174
click to vote
OTM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This article wants to address the need for a research effort and framework that studies and embraces the novel, difficult but crucial issues of adaptation of knowledge r...
170
click to vote
HT
2006
ACM
16 years 22 days ago
2006
ACM
We present Opal, a light-weight framework for interactively locating missing web pages (http status code 404). Opal is an example of “in vivo” preservation: harnessing the col...
220
click to vote
FSTTCS
2005
Springer
16 years 8 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
171
click to vote
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
196
click to vote
EMSOFT
2004
Springer
16 years 4 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...