2042 search results - page 319 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
159
Voted
ALMOB
2006
15 years 3 months ago
2006
This editorial announces Algorithms for Molecular Biology, a new online open access journal published by BioMed Central. By launching the first open access journal on algorithmic ...
127
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
154
Voted
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
125
Voted
CVPR
2006
IEEE
15 years 7 months ago
2006
IEEE
The face recognition system based on the only single classifier considering the restricted information can not guarantee the generality and superiority of performances in a real s...
124
click to vote
USS
2008
15 years 5 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...