1796 search results - page 140 / 360 » An Approach to Compositional Model Checking |
WWW
2005
ACM
14 years 11 months ago
2005
ACM
Currently, fault management in Web Services orchestrating multiple suppliers relies on a local analysis, that does not span across individual services, thus limiting the effective...
COLCOM
2007
IEEE
14 years 5 months ago
2007
IEEE
—Dynamic scripting languages such as Ruby provide language features that enable developers to express their intent more rapidly and with fewer expressions. Organizations started ...
CSB
2003
IEEE
14 years 4 months ago
2003
IEEE
A new and essentially simple method to reconstruct prokaryotic phylogenetic trees from their complete genome data without using sequence alignment is proposed. It is based on the ...
NIPS
2003
14 years 3 days ago
2003
Eigenvoice speaker adaptation has been shown to be effective when only a small amount of adaptation data is available. At the heart of the method is principal component analysis (...
FMCAD
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...