2776 search results - page 377 / 556 » System-Level Abstraction Semantics |
160
click to vote
TGC
2005
Springer
16 years 6 hour ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
171
click to vote
TMRA
2005
Springer
16 years 6 hour ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
145
click to vote
ACOM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we propose to regard an Agent Communication Language (ACL) as a set of conventions to act on a fragment of institutional reality, defined in the context of...
183
click to vote
ADBIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
209
click to vote
AMEC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...