2351 search results - page 22 / 471 » A Method of Requirement Inconsistency Analysis |
NDSS
2000
IEEE
15 years 2 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
104
click to vote
SAICSIT
2010
ACM
14 years 7 months ago
2010
ACM
Eliciting and analyzing requirements within knowledge systems, which fundamentally differ so far from technology supported systems represent particular challenges. African rural c...
HOTOS
2007
IEEE
15 years 1 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...
RECOMB
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. In a horizontal gene transfer (HGT) event a gene is transferred between two species that do not share an ancestor-descendant relationship. Typically, no more than a few g...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...