3082 search results - page 531 / 617 » Deviation Analysis: A New Use of Model Checking |
129
click to vote
SLIP
2006
ACM
15 years 10 months ago
2006
ACM
Manufacturable design requires matching of interconnects which have equal nominal dimensions. New design rules are projected to bring guarantee rules for interconnect matching. In...
154
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on r...
132
click to vote
CAIP
2005
Springer
15 years 10 months ago
2005
Springer
In radiation treatment (RT) planning, clinicians must trace the outline of a few critical structures on a large number of images. Using automated image segmentation could save trem...
180
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a requirements engineering framework based on the notions of Actor, Goal, and Intentional Dependency, and applies it to a case study in the field of Informatio...
150
click to vote
ITCC
2000
IEEE
15 years 8 months ago
2000
IEEE
As the result of interactions between visitors and a web site, an http log file contains very rich knowledge about users on-site behaviors, which, if fully exploited, can better c...