1792 search results - page 140 / 359 » Requirements Capture with RCAT |
161
click to vote
PERVASIVE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. One of the key challenges faced when developing contextaware pervasive systems is to capture the set of inputs that we want a system to adapt to. Arbitrarily specifying r...
167
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...
129
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Letter units, or graphemes, have been reported in the literature as a surprisingly effective substitute to the more traditional phoneme units, at least in languages that enjoy a s...
170
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
179
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many applications in wireless sensor networks require communication performance that is both consistent and high quality. Unfortunately, performance of current network p...