4513 search results - page 627 / 903 » Logic programming with satisfiability |
174
click to vote
HPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
130
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
We study algorithmic problems that are motivated by bandwidth trading in next generation networks. Typically, bandwidth trading involves sellers (e.g., network operators) interest...
144
Voted
ESE
2006
15 years 4 months ago
2006
This paper presents results from a comparative evaluation of five combination strategies. Combination strategies are test case selection methods that combine "interesting&quo...
134
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
223
Voted
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
This paper describes the ADO.NET Entity Framework, a platform for programming against data that raises the level of ion from the logical (relational) level to the conceptual (enti...