1816 search results - page 158 / 364 » ITS Domain Modelling with Ontology |
170
click to vote
TACS
2001
Springer
15 years 10 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
167
click to vote
APAL
1998
15 years 6 months ago
1998
A model is computable if its domain is a computable set and its relations and functions are uniformly computable. Let A be a computable model and let R be an extra relation on the ...
166
click to vote
ICALT
2005
IEEE
16 years 22 min ago
2005
IEEE
For their usage in the semantic web, valid ontologies are required for a given domain. Here we focus on ontologies represented as concept maps (semantic nets). For one and the sam...
168
click to vote
ENTCS
2006
15 years 6 months ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
172
click to vote
TITB
2008
15 years 6 months ago
2008
Abstract--The semantic web remains in the early stages of development. It has not yet achieved the goals envisioned by its founders as a pervasive web of distributed knowledge and ...