2678 search results - page 409 / 536 » Operational Semantics of Transactions |
127
click to vote
ESORICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
141
click to vote
ASP
2003
Springer
15 years 8 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
138
click to vote
COORDINATION
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
144
click to vote
ISMIS
2000
Springer
15 years 8 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...
140
click to vote
VL
1998
IEEE
15 years 8 months ago
1998
IEEE
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...