3591 search results - page 177 / 719 » Typing linear constraints |
167
click to vote
ENTCS
2011
15 years 15 days ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
124
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
151
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
Scalable Vector Graphics (SVG) is a language developed by the World Wide Web Consortium for describing two dimensional vector graphics for storage and distribution on the Web. Unl...
142
click to vote
PODS
2001
ACM
16 years 5 months ago
2001
ACM
The paper investigates XML document speci cations with DTDs and integrity constraints, such as keysand foreign keys. We study the consistency problem of checking whether a given s...
151
click to vote
CPAIOR
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we present a constraint programming approach for the service consolidation problem that is being currently tackled by Neptuny, Milan. The problem is defined as: Giv...