970 search results - page 130 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
SIGMOD
2001
ACM
14 years 9 months ago
2001
ACM
Virtually all proposals for querying XML include a class of query we term "containment queries". It is also clear that in the foreseeable future, a substantial amount of...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
PLDI
2009
ACM
14 years 9 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
BMCBI
2008
13 years 9 months ago
2008
Background: Once a new genome is sequenced, one of the important questions is to determine the presence and absence of biological pathways. Analysis of biological pathways in a ge...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
Current approaches to script identification rely on hand-selected features and often require processing a significant part of the document to achieve reliable identification. We p...