886 search results - page 58 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
JUCS
2010
14 years 4 months ago
2010
: Visualizing and understanding large conceptual schemas requires the use of specific methods. These methods generate clustered, summarized, or focused schemas that are easier to v...
ANSOFT
1998
14 years 9 months ago
1998
Systematic discovery and exploitation of commonality across related software systems is a fundamental technical requirement for achieving successful software reuse. By examining a...
JCP
2007
14 years 9 months ago
2007
— Following a toxic contaminant release, either accidental or intentional, predicting the transport and dispersion of the contaminant becomes a critical problem for Homeland Defe...
AIME
2005
Springer
15 years 3 months ago
2005
Springer
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...
JDCTA
2010
14 years 4 months ago
2010
Neural decoding is an important task for understanding how the biological nervous system performs computation and communication. This paper introduces a novel continuous neural de...