3515 search results - page 580 / 703 » On the semantics of Strategy Logic |
201
click to vote
DKE
2007
15 years 7 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
202
click to vote
CORR
2000
Springer
15 years 7 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
216
click to vote
SEMWEB
2010
Springer
15 years 5 months ago
2010
Springer
Given the large number of Semantic Web Services that can be created from online sources by using existing annotation tools, expressive formalisms and efficient and scalable approac...
237
click to vote
PODS
2011
ACM
14 years 10 months ago
2011
ACM
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...
236
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...