2685 search results - page 189 / 537 » A Formal Semantics for SPKI |
207
click to vote
CALCO
2005
Springer
16 years 20 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
208
click to vote
ICCS
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. This paper has two foci that are intended to be complementary. First, it describes Conzilla as an incarnation of a concept browser. More specifically, as a technical sol...
192
click to vote
RELMICS
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
160
click to vote
SEMWEB
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. Decentralized case-based reasoning (DzCBR) is a reasoning framework that addresses the problem of adaptive reasoning in a multi-ontology environment. It is a case-based r...
189
click to vote
WADT
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...