8179 search results - page 1414 / 1636 » The PRACTIONIST Development Tool |
132
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
Genetic algorithms—a class of stochastic population-based optimization techniques—have been widely realized as the effective tools to solve complicated optimization problems ...
120
click to vote
ISMVL
2010
IEEE
15 years 8 months ago
2010
IEEE
Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly ...
151
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
133
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
Detecting emerging problems in information and manufacturing systems is the goal of monitoring tools. Good and timely detection of problematic conditions from measured indicators ...
132
click to vote
ECMDAFA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Traceability is demanded within mature development processes and offers a wide range of advantages. Nevertheless, there are deterrents to establishing traceability: it c...