3799 search results - page 255 / 760 » An Engineering Approach to Formal Methods |
196
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
160
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Distributed search systems are an emerging phenomenon in Web search, in which independent topic-speciļ¬c search engines provide search services, and metasearchers distribute userā...
156
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Metabolic pathway analysis has been recognized as a central approach to the structural analysis of metabolic networks. The concept of elementary (flux) modes provides ...
190
click to vote
ICDE
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we propose the Hybrid-Layer Index (simply, the HL-index) that is designed to answer top-k queries efficiently when the queries are expressed on any arbitrary subset ...
146
click to vote
TOOLS
2009
IEEE
16 years 29 days ago
2009
IEEE
Realizing information exchange is a frequently recurring challenge in nearly every domain of computer science. Although languages, formalisms, and storage formats may diļ¬er in va...