23 search results - page 3 / 5 » Scenario Synthesis from Imprecise Requirements |
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
SIGSOFT
2004
ACM
14 years 5 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
ICIP
2005
IEEE
14 years 6 months ago
2005
IEEE
Interactive audio-visual (AV) applications such as Free Viewpoint Video (FVV) aim to enable unrestricted spatio-temporal navigation within multiple camera environments. Current vi...
SCESM
2006
ACM
13 years 10 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
MEDIAFORENSICS
2010
13 years 6 months ago
2010
This paper proposes an efficient method to determine the concrete configuration of the color filter array (CFA) from demosaiced images. This is useful to decrease the degrees of f...