875 search results - page 87 / 175 » Specification Modules for Methodical System Development |
118
click to vote
CLEF
2008
Springer
15 years 4 months ago
2008
Springer
The Answer Validation Exercise at the Cross Language Evaluation Forum (CLEF) is aimed at developing systems able to decide whether the answer of a Question Answering (QA) system i...
127
click to vote
ENTCS
2006
15 years 2 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
105
click to vote
SIGSOFT
2001
ACM
16 years 3 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
149
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
133
click to vote
KDD
2010
ACM
15 years 26 days ago
2010
ACM
Crisis Management and Disaster Recovery have gained immense importance in the wake of recent man and nature inflicted calamities. A critical problem in a crisis situation is how t...