2688 search results - page 186 / 538 » A formal semantics for P3P |
192
click to vote
CALCO
2005
Springer
16 years 3 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 ...
187
click to vote
ICCS
2005
Springer
16 years 2 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...
170
click to vote
RELMICS
2005
Springer
16 years 1 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...
139
click to vote
SEMWEB
2005
Springer
16 years 1 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...
169
click to vote
WADT
2004
Springer
15 years 12 months 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...