1231 search results - page 192 / 247 » A Framework for Belief Update |
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
Software deployment is an evolving collection of interrelated processes such as release, install, adapt, reconfigure, update, activate, deactivate, remove, and retire. The connect...
WCRE
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper discusses the requirements and a generic framework for the integration of architectural and codebased reengineering tools. This framework is needed because there is a l...
EWCBR
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Experience with the growing number of large-scale CBR systems has led to increasing recognition of the importance of case-base maintenance. Multiple researchers have addr...
ECOOP
2007
Springer
14 years 2 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
ICLP
2010
Springer
14 years 2 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...