334 search results - page 51 / 67 » Structured Formalization of Service-Oriented Specifications |
109
click to vote
ARTMED
2006
15 years 1 months ago
2006
Medical assessment of penetrating injuries is a difficult and knowledge-intensive task. Physical examination and computed tomographic (CT) imaging data must be combined with detai...
104
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
136
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
111
click to vote
POPL
2000
ACM
15 years 5 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
146
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Accurate identification of protein domain boundaries is useful for protein structure determination and prediction. However, predicting protein domain boundaries from a...