2685 search results - page 306 / 537 » A Formal Semantics for SPKI |
162
click to vote
DALT
2007
Springer
16 years 24 days ago
2007
Springer
A rational agent derives its choice of action from its beliefs and goals. Goals can be distinguished into achievement goals and maintenance goals. The aim of this paper is to defi...
164
click to vote
DBPL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...
139
click to vote
ESWS
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
188
click to vote
IFM
2007
Springer
16 years 23 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
164
click to vote
SAMT
2007
Springer
16 years 22 days ago
2007
Springer
—Broadcasting of media events is a real-time action demanding reliable just in time decisions based on the current content of incoming video streams and the availability of backg...