290 search results - page 8 / 58 » A Metamodeling Approach for Reasoning about Requirements |
IEEEHPCS
2010
14 years 8 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
CVPR
2012
IEEE
12 years 12 months ago
2012
IEEE
We present a unified occlusion model for object instance detection under arbitrary viewpoint. Whereas previous approaches primarily modeled local coherency of occlusions or attem...
112
click to vote
WCRE
2008
IEEE
15 years 3 months ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
KBS
1998
14 years 9 months ago
1998
In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...