6201 search results - page 848 / 1241 » Implementation of Axiomatic Language |
158
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
This paper presents an approach for ontology translation in the O3F ontology framework and a concrete implemented agent that translates between ontologies expressed in OWL. In the...
205
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
175
click to vote
BIRTHDAY
2005
Springer
16 years 13 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
214
click to vote
CCS
2005
ACM
16 years 13 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
154
click to vote
CP
2005
Springer
16 years 13 days ago
2005
Springer
In the context of previous work on redundant modeling, permutation problems and matrix modeling, we introduce the notion of partial redundant modeling and categorical channeling co...