4370 search results - page 20 / 874 » Algebra of Logic Programming |
109
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
155
click to vote
ICDT
2009
ACM
16 years 1 months ago
2009
ACM
World-set algebra is a variable-free query language for uncertain databases. It constitutes the core of the query language implemented in MayBMS, an uncertain database system. Thi...
65
Voted
TCS
2002
15 years 13 days ago
2002
Streams are acyclic directed subgraphs of the logical ow graph of a proof representing bundles of paths with the same origin and the same end. The notion of stream is used to desc...
105
Voted
SSDBM
2003
IEEE
15 years 6 months ago
2003
IEEE
Life science researchers frequently need to query large protein data sets in a variety of different ways. Protein data sets have a rich structure that includes its primary structu...
110
Voted
RTSS
1998
IEEE
15 years 5 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....