3009 search results - page 218 / 602 » The Expressive Rate of Constraints |
131
click to vote
BNCOD
2004
15 years 8 months ago
2004
Through the use of different stylesheets it is possible to transform the information contained in XML documents and present it in different ways, for example to create personalised...
141
click to vote
CASCON
2006
15 years 8 months ago
2006
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...
189
click to vote
IWMMDBMS
1996
15 years 8 months ago
1996
We introduce a constraint-driven methodology for the automated assembly, organization and playout of presentations from multimedia databases. We use inclusion and exclusion constr...
164
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
168
click to vote
ENTCS
2008
15 years 6 months ago
2008
The graph rewriting calculus is an extension of the -calculus, handling graph like structures rather than simple terms. The calculus over terms is naturally generalized by using u...