648 search results - page 103 / 130 » Carving differential unit test cases from system test cases |
173
click to vote
AOSE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-l...
167
Voted
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
164
click to vote
JSS
2011
14 years 9 months ago
2011
Forecasting workflow activity durations is of great importance to support satisfactory QoS in workflow systems. Traditionally, a workflow system is often designed to facilitate the...
178
click to vote
ASPLOS
2011
ACM
14 years 9 months ago
2011
ACM
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...
199
click to vote
CF
2007
ACM
15 years 10 months ago
2007
ACM
In the life sciences, genomic databases for sequence search have been growing exponentially in size. As a result, faster sequencesearch algorithms to search these databases contin...