1329 search results - page 221 / 266 » Constraint-based model synthesis |
145
click to vote
FORTE
2008
15 years 3 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
139
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
The choice of an appropriate hardware representation model is key to successful evolution of digital circuits. One of the most popular models is cartesian genetic programming, whi...
145
click to vote
IJES
2006
15 years 1 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
117
click to vote
KI
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we present an interactive poker game in which one human user plays against two animated agents using RFID-tagged poker cards. The game is used as a showcase to illust...
131
click to vote
AUTOMATICA
2005
15 years 1 months ago
2005
Various techniques of system identification exist that provide a nominal model and an uncertainty bound. An important question is what the implications are for the particular choi...