1027 search results - page 106 / 206 » Representing and Reasoning with Operational Semantics |
ILP
2000
Springer
15 years 4 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
106
click to vote
IJCIS
1998
15 years 12 days ago
1998
The problem of integrating information from con icting sources comes up in many current applications, such as cooperative information systems, heterogeneous databases, and multi-a...
110
click to vote
SEW
2006
IEEE
15 years 6 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
94
Voted
DAGSTUHL
2004
15 years 2 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
117
Voted
FAST
2009
14 years 10 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...