2685 search results - page 241 / 537 » A Formal Semantics for SPKI |
193
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
191
click to vote
ATAL
1999
Springer
15 years 11 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
183
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
188
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
175
click to vote
ICPADS
1996
IEEE
15 years 11 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...