Sciweavers

1829 search results - page 27 / 366
» Towards Validation of Requirements Models
Sort
View
ETS
2002
IEEE
100views Hardware» more  ETS 2002»
14 years 11 months ago
How to Annotate Educational Multimedia with Non-Functional Requirements
We develop a scheme for representing critical non-functional requirements (NFRs), and apply it to the domain of multimedia educational software (MES) to validate it. Our approach ...
Giovanna Avellis, Anthony Finkelstein
ICDCIT
2005
Springer
15 years 5 months ago
Validation of Policy Integration Using Alloy
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
Manachai Toahchoodee, Indrakshi Ray
116
Voted
TOG
2008
293views more  TOG 2008»
14 years 11 months ago
A perceptually validated model for surface depth hallucination
Capturing detailed surface geometry currently requires specialized equipment such as laser range scanners, which despite their high accuracy, leave gaps in the surfaces that must ...
Mashhuda Glencross, Gregory J. Ward, Francho Melen...
WSC
2004
15 years 1 months ago
Data and Metadata Requirements for Composable Mission Space Environments
Composability is the capability to select and assemble reusable simulation components in various combinations into simulation systems to meet user requirements. The Defense Modeli...
Katherine L. Morse
HICSS
1997
IEEE
135views Biometrics» more  HICSS 1997»
15 years 4 months ago
Animation for Validation of Business System Specifications
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
V. Lalioti