728 search results - page 140 / 146 » A Logical View of Choreography |
136
click to vote
IPMU
2010
Springer
15 years 10 months ago
2010
Springer
We introduce a general definition for the independence of a number of finite-valued variables, based on coherent lower previsions. Our definition has an epistemic flavour: it a...
172
Voted
CONTEXT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
150
click to vote
SIGMOD
1999
ACM
15 years 10 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
171
click to vote
DIS
1999
Springer
15 years 10 months ago
1999
Springer
After two decades of research on automated discovery, many principles are shaping up as a foundation of discovery science. In this paper we view discovery science as automation of ...
171
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...