882 search results - page 76 / 177 » Allowing State Changes in Specifications |
207
click to vote
RTS
2002
15 years 5 months ago
2002
This paper presents a Feedback Control real-time Scheduling (FCS) framework for adaptive realtime systems. An advantage of the FCS framework is its use of feedback control theory ...
192
click to vote
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
156
click to vote
IPMI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. A method for quantitative assessment of tree structures is reported allowing evaluation of airway or vascular tree morphology and its associated function. Our skeletoniza...
145
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Both non-determinism and multi-level networks compactly characterize the flexibility allowed in implementing a circuit. A theory for representing and manipulating non-deterministi...
174
click to vote
ACCV
2007
Springer
16 years 10 days ago
2007
Springer
We present a new framework for correcting multiperspective distortions using collineations. A collineation describes the transformation between the images of a camera due to change...