3009 search results - page 46 / 602 » The Expressive Rate of Constraints |
JSAT
2006
13 years 9 months ago
2006
In this paper, we describe and evaluate three different techniques for translating pseudoboolean constraints (linear constraints over boolean variables) into clauses that can be h...
PVLDB
2008
13 years 9 months ago
2008
This paper presents a framework for automatically generating structural XML documents. The user provides a target DTD and an example of an XML document, called a Generate-XML-ByEx...
SAS
2000
Springer
14 years 1 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
GLOBECOM
2008
IEEE
14 years 4 months ago
2008
IEEE
— We present a crosslayer framework for optimizing the performance of wireless networks as measured by applications or upper layer protocols. The approach combines adaptive modul...
NETWORKING
2007
13 years 11 months ago
2007
This paper addresses the optimal rate allocation problem in overlay content distribution for efficient utilization of limited bandwidths. We systematically present a series of opti...