2678 search results - page 271 / 536 » Operational Semantics of Transactions |
173
Voted
DAGSTUHL
2004
15 years 7 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...
151
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In distributed computer systems, it is possible that the evaluation of an authorization policy may suffer unexpected failures, perhaps because a sub-policy cannot be eval...
173
click to vote
FUIN
2007
15 years 6 months ago
2007
The nets considered here are an extension of Petri nets in two aspects. In the semantical aspect, there is no one firing rule common to all transitions, but every transition is tr...
146
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
We here explore a "fully" lexicalized Tree-Adjoining Grammar for discourse that takes the basic elements of a (monologic) discourse to be not simply clauses, but larger ...
163
click to vote
IJCIS
1998
15 years 6 months 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...