1419 search results - page 124 / 284 » Notes on Formalizing Context |
152
Voted
ADVIS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Contextual ontologies are ontologies that characterize a concept by a set of properties that vary according to context. Contextual ontologies are now crucial for users wh...
84
Voted
SEMWEB
2005
Springer
15 years 6 months 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...
81
Voted
WEBI
2005
Springer
15 years 6 months ago
2005
Springer
In open environments like the Web, and open Multiagent and Peer2Peer systems, consent among the autonomous, self-interested knowledge sources and users very often cannot be establ...
77
Voted
APSEC
2002
IEEE
15 years 5 months ago
2002
IEEE
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...
114
click to vote
CCS
1998
ACM
15 years 5 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...