2685 search results - page 173 / 537 » A Formal Semantics for SPKI |
174
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
156
click to vote
ADBIS
2005
Springer
16 years 11 days ago
2005
Springer
XML-relational systems with well defined XML and relational schemas are widely used in industry. In the presence of rapidly changing requirements both schemas of such a model need...
226
click to vote
AGENTCL
2003
Springer
16 years 2 days ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
164
click to vote
ERSHOV
1999
Springer
15 years 11 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
176
click to vote
APCCM
2008
15 years 8 months ago
2008
This paper introduces a Conceptual Data Model for Data Warehouse including multidimensional aggregation. It is based on Entity-Relationships data model. The conceptual data model ...