2685 search results - page 215 / 537 » A Formal Semantics for SPKI |
200
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
190
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty prevails. In order to provide an uncertainty reasoning...
165
click to vote
SIGMOD
1995
ACM
15 years 10 months ago
1995
ACM
When querying a temporal database, a user often makes certain semantic assumptions on stored temporal data. This paper formalizes and studies two types of semantic assumptions: po...
196
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
Medical CBIR (content-based image retrieval) applications pose unique challenges but at the same time offer many new opportunities. On one hand, while one can easily understand ne...
162
Voted
OPODIS
2008
15 years 8 months ago
2008
It has been widely suggested that memory transactions should behave as if they acquired and released a single global lock. Unfortunately, this behavior can be expensive to achieve...