5101 search results - page 592 / 1021 » Capturing Context Requirements |
205
Voted
CSFW
2009
IEEE
16 years 2 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...
144
Voted
ICASSP
2009
IEEE
16 years 2 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...
198
click to vote
WCRE
2009
IEEE
16 years 2 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...
219
click to vote
RTSS
2009
IEEE
16 years 2 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...
190
Voted
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the most difficult tasks in the design of information systems is how to control the behaviour of the back-end storage engine, usually a relational database. As the load on t...