2273 search results - page 210 / 455 » On the Expressiveness and Complexity of ATL |
270
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
274
click to vote
VLDB
2004
ACM
16 years 6 months ago
2004
ACM
: This paper presents the "situation manager", a tool that includes both a language and an efficient run-time execution mechanism, aimed at reducing the complexity of act...
250
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Life science laboratories today have to rely on procedural techniques to store and manage large sequence datasets. Procedural techniques are cumbersome to use and are often very i...
165
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Current schema matching approaches still have to improve for very large and complex schemas. Such schemas are increasingly written in the standard language W3C XML schema, especia...
164
click to vote
PODS
2007
ACM
16 years 6 months ago
2007
ACM
XML and semi-structured data are now de-facto standards for data exchange, and it is often the case that published or exchanged XML documents have specic restrictions on how they ...