2635 search results - page 222 / 527 » Refactoring Process Models in Large Process Repositories |
157
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Coalescent simulations are playing a large role in interpreting large scale intraspecific sequence or polymorphism surveys and for planning and evaluating association ...
151
click to vote
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
Music information retrieval (MIR) holds great promise as a technology for managing large music archives. One of the key components of MIR that has been actively researched into is...
153
Voted
FSTTCS
1998
Springer
15 years 8 months ago
1998
Springer
Molecular Computation (MC) is massively parallel computation where data is stored and processed within objects of molecular size. Biomolecular Computation (BMC) is MC using biotec...
147
click to vote
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
131
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...