3281 search results - page 114 / 657 » An Approach to use Executable Models for Testing |
114
Voted
SNPD
2008
15 years 4 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
106
click to vote
AAAI
2012
13 years 5 months ago
2012
Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic...
111
Voted
ACL
2008
15 years 4 months ago
2008
This paper studies the impact of written language variations and the way it affects the capitalization task over time. A discriminative approach, based on maximum entropy models, ...
113
click to vote
AIIA
2003
Springer
15 years 6 months ago
2003
Springer
In this paper, we present GLARE, a domain-independent system for acquiring, representing and executing clinical guidelines. GLARE is characterized by the adoption of Artificial Int...
124
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we present a genetic algorithm applied to the problem of mission planning for Joint Suppression of Enemy Air Defenses (JSEAD) in support of air strike operations. Th...