652 search results - page 123 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
108
click to vote
BMCBI
2004
14 years 9 months ago
2004
Background: Certain protein families are highly conserved across distantly related organisms and belong to large and functionally diverse superfamilies. The patterns of conservati...
KDD
2009
ACM
2009
ACM
Classification of software behaviors for failure detection: a discriminative pattern mining approach
15 years 10 months ago
Software is a ubiquitous component of our daily life. We often depend on the correct working of software systems. Due to the difficulty and complexity of software systems, bugs an...
ICIAP
2007
ACM
15 years 10 months ago
2007
ACM
Natural scene categorization of images represents a very useful task for automatic image analysis systems in a wide variety of applications. In the literature, several methods hav...
IR
2008
14 years 9 months ago
2008
Abstract. Document length is widely recognized as an important factor for adjusting retrieval systems. Many models tend to favor the retrieval of either short or long documents and...