358 search results - page 53 / 72 » Report on Generic Case Complexity |
PAPM
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
77
Voted
IEEEARES
2010
IEEE
15 years 2 months ago
2010
IEEE
Web applications are increasingly developed in Agile development processes. Business-centric Web applications need complex authorization policies to securely implement business pro...
ASWEC
2004
IEEE
15 years 1 months ago
2004
IEEE
The management of knowledge and experience are key means by which systematic software development and process improvement occur. Within the domain of Software Engineering (SE), qu...
BALT
2006
15 years 1 months ago
2006
Abstract. Modern software engineering attacks its complexity problems by applying well-understood development principles. In particular, the systematic adoption of design patterns ...
CCECE
2006
IEEE
15 years 1 months ago
2006
IEEE
The past decade has seen extensive research on audio classification and segmentation algorithms. However, the effect of background noise on the performance of classification has n...