5180 search results - page 354 / 1036 » Requirements Engineering |
164
click to vote
CCECE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Spectrum awareness is a crucial first step of a cognitive radio (CR). This provides information necessary for the CR to adapt to the radio frequency environment, and involves re...
192
click to vote
CCECE
2009
IEEE
16 years 1 months ago
2009
IEEE
— Most of the existing video streaming systems employ the worst case analysis in application layer buffer size dimensioning. Even though the worst case buffer size dimensioning p...
171
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...
174
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
187
Voted
SADFE
2009
IEEE
16 years 1 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...