3081 search results - page 68 / 617 » A Formal Ontology of Properties |
106
click to vote
ECOOPW
1999
Springer
15 years 4 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
112
click to vote
FGCS
2006
14 years 12 months ago
2006
CSCL systems can benefit from using grids since they offer a common infrastructure enabling the access to an extended pool of resources that can provide supercomputing capabilitie...
ESWS
2006
Springer
15 years 3 months ago
2006
Springer
In the extensive usage of ontologies envisaged by the Semantic Web there is a compelling need for expressing mappings between the components of heterogeneous ontologies. These mapp...
107
click to vote
DIS
2009
Springer
15 years 6 months ago
2009
Springer
Motivated by the need for unification of the domain of data mining and the demand for formalized representation of outcomes of data mining investigations, we address the task of c...
105
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...