803 search results - page 121 / 161 » Building Formal Models for Software Requirements |
EUROPKI
2007
Springer
15 years 5 months ago
2007
Springer
Time Capsule Signature, first formalized by Dodis and Yum in Financial Cryptography 2005, is a digital signature scheme which allows a signature to bear a (future) time t so that t...
119
Voted
EICS
2009
ACM
15 years 8 months 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...
107
Voted
EJIS
2007
15 years 1 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
105
click to vote
SOCO
2010
Springer
15 years 8 days ago
2010
Springer
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
106
Voted
RE
2009
Springer
15 years 6 months ago
2009
Springer
Requirements traceability is a challenge for modern software projects where task dependencies and technical experspread across system developers, abstract model representations su...