1937 search results - page 140 / 388 » Starting B Specifications from Use Cases |
178
click to vote
CIA
2007
Springer
16 years 26 days ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
136
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
129
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
For an agent to intelligently use specifications of executable protocols, it is necessary that the agent can quickly and correctly assess the outcomes of that protocol if it is ex...
180
click to vote
JCB
2006
15 years 6 months ago
2006
We develop a model for elucidating the assembly pathways by which an icosahedral viral shell forms from 60 identical constituent protein monomers. This poorly understood process a...
185
click to vote
JCP
2008
15 years 6 months ago
2008
We first analyzed protein names using various dictionaries and databases and found five problems with protein names; i.e., the treatment of special characters, the treatment of hom...