1887 search results - page 141 / 378 » Annotation Framework Validation Using Domain Models |
129
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
111
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Predicting metabolic sites is important in the drug discovery process to aid in rapid compound optimisation. No interactive tool exists and most of the useful tools ar...
121
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
154
click to vote
MAGS
2006
15 years 3 months ago
2006
Multi-Agent Systems (MAS) have become increasingly mature, but this maturity does not make the traditional Object Oriented (OO) approaches obsolete. On the contrary, building MAS i...
148
click to vote
RE
2004
Springer
15 years 8 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...