1536 search results - page 106 / 308 » The Underlying Logic of Hoare Logic |
121
click to vote
CL
2012
Springer
13 years 13 days ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
129
click to vote
TMC
2012
13 years 12 days ago
2012
—We develop a distributed throughput-optimal power allocation algorithm in wireless networks. The study of this problem has been limited due to the nonconvexity of the underlying...
CSL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We present a method of integrating linear rational arithmetic into superposition calculus for first-order logic. One of our main results is completeness of the resulting...
CACM
2007
14 years 10 months ago
2007
: The choice uncertainty principle says that it is impossible to make an unambiguous choice between near-simultaneous events under a deadline. This principle affects the design of ...
TOCL
2002
14 years 9 months ago
2002
One important class of spatial database queries is the class of topological queries, that is, queries invariant under homeomorphisms. Westudy topological queries expressible in th...