3429 search results - page 564 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
125
Voted
TACS
2001
Springer
15 years 7 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
117
click to vote
FTRTFT
1994
Springer
15 years 6 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
131
click to vote
ISMIS
2000
Springer
15 years 6 months ago
2000
Springer
A top-down query processing method for first order deductive databases under the disjunctive well-founded semantics (DWFS) is presented. The method is based upon a characterisation...
125
Voted
AAAI
2007
15 years 4 months ago
2007
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
116
Voted
AAAI
2004
15 years 3 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...