2351 search results - page 176 / 471 » A Method of Requirement Inconsistency Analysis |
143
click to vote
SADFE
2009
IEEE
15 years 11 months ago
2009
IEEE
Increasingly advances in file carving, memory analysis and network forensics requires the ability to identify the underlying type of a file given only a file fragment. Work to dat...
137
Voted
ACL
2004
15 years 6 months ago
2004
This paper introduces an indexing method based on static analysis of grammar rules and type signatures for typed feature structure grammars (TFSGs). The static analysis tries to p...
145
click to vote
IFM
2007
Springer
15 years 10 months ago
2007
Springer
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
144
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
134
click to vote
RTSS
1997
IEEE
15 years 8 months ago
1997
IEEE
We present a method for providing response-time guarantees in Asynchronous Transfer Mode (ATM) networks. The method is based on traditional real-time CPU Response-Time Analysis (R...