2763 search results - page 261 / 553 » The Dangerous 'All' in Specifications |
308
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
284
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
165
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
A central challenge in systems biology is the reconstruction of biological networks from high-throughput data sets. A particularly difficult case of this is the inference of dynami...
262
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Estimating the cardinality (i.e. number of distinct elements) of an arbitrary set expression defined over multiple distributed streams is one of the most fundamental queries of in...
262
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
The data base concept derives from early military on-line systems, and was not originally associated with the specific technologies of modern data base management systems. While t...