13137 search results - page 77 / 2628 » A Science of Software Design |
SEKE
2001
Springer
14 years 1 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...
IHI
2012
12 years 4 months ago
2012
We present a novel software tool called CDN (Collaborative Data Network) for large-scale sharing and querying of clinical documents modeled using HL7 v3 standard (e.g., Clinical D...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— This paper reports an overview of the navigation and control system design for the new Nereus hybrid underwater robotic vehicle (HROV). Vehicle performance during its first se...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
For the development of Semantic Web technology, researchers and developers in the Semantic Web community need to focus on the areas in which human reasoning is particularly difficu...