Sciweavers

379 search results - page 33 / 76
» The AGEDIS Tools for Model Based Testing
Sort
View
155
Voted
BMCBI
2005
163views more  BMCBI 2005»
15 years 3 months ago
CoaSim: A flexible environment for simulating genetic data under coalescent models
Background: Coalescent simulations are playing a large role in interpreting large scale intraspecific sequence or polymorphism surveys and for planning and evaluating association ...
Thomas Mailund, Mikkel H. Schierup, Christian N. S...
173
Voted
ACSAC
2007
IEEE
15 years 10 months ago
Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
Sherri Sparks, Shawn Embleton, Ryan Cunningham, Cl...
145
Voted
RE
1999
Springer
15 years 8 months ago
Bridging the Gap Between Past and Future in RE: A Scenario-Based Approach
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
Peter Haumer, Matthias Jarke, Klaus Pohl, Patrick ...
390
Voted
BPM
2011
Springer
270views Business» more  BPM 2011»
14 years 3 months ago
Automated Error Correction of Business Process Models
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...
Mauro Gambini, Marcello La Rosa, Sara Migliorini, ...
114
Voted
ESWA
2007
96views more  ESWA 2007»
15 years 3 months ago
Forecasting airborne pollen concentration time series with neural and neuro-fuzzy models
Forecasting airborne pollen concentrations is one of the most studied topics in aerobiology, due to its crucial application to allergology. The most used tools for this problem ar...
José Luis Aznarte, José Manuel Benit...