5946 search results - page 56 / 1190 » Visual requirement representation |
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...
SSD
1999
Springer
15 years 2 months ago
1999
Springer
Traffic telematics comprises services like traffic information, navigation, and emergency call services. Providers of such services need large spatial databases especially for the ...
CA
2003
IEEE
15 years 3 months ago
2003
IEEE
: We present a novel approach for modeling hair using level-of-detail representations. The set of representations include individual strands, hair clusters, and hair strips. They a...
118
click to vote
ICSE
2003
IEEE-ACM
15 years 3 months ago
2003
IEEE-ACM
Functional requirements contain, and systems exhibit, the behavior summarized below.Despite the advances in software engineering since 1968, how to go from a set of functional req...
OWLED
2007
14 years 11 months ago
2007
This paper presents a brief initial look at some of the possible benefits and barriers to using OWL as the language for the development, dissemination and implementation of termin...