1829 search results - page 147 / 366 » Towards Validation of Requirements Models |
172
click to vote
ICSOC
2003
Springer
15 years 11 months ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
166
click to vote
WCE
2007
15 years 7 months ago
2007
—A new approach to perform feasibility studies using business process models is proposed. The utilization of the improved Role Activity Diagram notations has led to the extractio...
142
click to vote
EUROPKI
2007
Springer
15 years 10 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...
158
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
156
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...