2384 search results - page 147 / 477 » Analyzing Requirements Engineering Processes: A Case Study |
170
click to vote
EICS
2009
ACM
16 years 27 days ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
187
click to vote
DSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Preserving the availability and integrity of networked computing systems in the face of fast-spreading intrusions requires advances not only in detection algorithms, but also in a...
180
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper studies the gaps that exist between cryptography as studied in theory, as defined in standards, as implemented by software engineers, and as actually consumed ...
188
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
171
click to vote
EUROMICRO
2005
IEEE
16 years 7 hour ago
2005
IEEE
When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Two main process challenges are how ...