2685 search results - page 289 / 537 » A Formal Semantics for SPKI |
181
click to vote
CLIMA
2007
15 years 8 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
226
click to vote
GISCIENCE
2010
Springer
15 years 6 months ago
2010
Springer
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
153
click to vote
ENTCS
2007
15 years 6 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
177
click to vote
SIGMOD
2008
ACM
15 years 6 months ago
2008
ACM
The presence of encyclopedic Web sources, such as Wikipedia, the Internet Movie Database (IMDB), World Factbook, etc. calls for new querying techniques that are simple and yet mor...
189
click to vote
EKAW
2010
Springer
15 years 5 months ago
2010
Springer
Social Tagging Systems (STS) empower users to classify and organize resources and to improve the retrieval performance over the tagged resources. In this paper we argue that the po...