1413 search results - page 200 / 283 » Bisimilarity of Open Terms |
156
click to vote
JFP
2007
15 years 6 months ago
2007
Functional dependencies are a popular and useful extension to Haskell style type classes. We give a reformulation of functional dependencies in terms of Constraint Handling Rules ...
164
click to vote
CCR
2004
15 years 6 months ago
2004
This paper proposes a real options framework for evaluating architectural choices and the economic value of these alternative choices of networks, protocols, and services. Using p...
170
click to vote
CSUR
2004
15 years 6 months ago
2004
Many developments have taken place within dataflow programming languages in the past decade. In particular, there has been a great deal of activity and advancement in the field of ...
173
click to vote
JLP
2000
15 years 6 months ago
2000
Generating query-answering plans for data integration systems requires to translate a user query, formulated in terms of a mediated schema, to a query that uses relations that are...
154
click to vote
IJMMS
1998
15 years 6 months ago
1998
: Decision-support systems that help solving problems in open and weak theory domains, i.e. hard problems, need improved methods to ground their models in real world situations. Mo...