2153 search results - page 307 / 431 » From Requirements Models to Formal Specifications in B |
161
click to vote
AAAI
2007
15 years 8 months ago
2007
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...
163
click to vote
CMPB
2007
15 years 6 months ago
2007
We show that it is possible to construct numerical models of eye colour from first principles. Our initial model assumes that the important optical interactions occur only in the a...
185
click to vote
NAR
2011
14 years 9 months ago
2011
NCBI’s Conserved Domain Database (CDD) is a resource for the annotation of protein sequences with the location of conserved domain footprints, and functional sites inferred from...
177
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
154
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 ...