4350 search results - page 297 / 870 » Case studies for contract-based systems |
223
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
144
click to vote
AMC
2006
15 years 6 months ago
2006
In the integration of geodetic networks with different geodetic coordinate systems, the similarity transformation seems to be the most suitable method because the geodetic coordin...
173
click to vote
QOSA
2010
Springer
15 years 10 months ago
2010
Springer
Software performance engineering (SPE) enables software architects to ensure high performance standards for their applications. However, applying SPE in practice is still challengi...
175
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
Reverse engineering is the process of uncovering the design and the design rationale from a functioning software system. Reverse engineering is an integral part of any successful ...
159
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper we consider the problem of inducing a transition in a controlled quantum mechanical system whose spectrum loses simplicity for some values of the control. We study th...