1025 search results - page 164 / 205 » The Meaning of the Web |
MKM
2004
Springer
14 years 1 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
SBIA
2004
Springer
14 years 1 months ago
2004
Springer
The number of ontologies publicly available and accessible through the web has increased in the last years, so that the task of finding similar terms1 among these structures becom...
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
Both OWL-DL and function-free Horn rules3 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rule...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— With the rapid growth of Internet, parameter design and analysis for large-scale networks has become a topic of active interest. Since simulation of such large scale systems is...
SRDS
2003
IEEE
14 years 1 months ago
2003
IEEE
We propose service continuations (SC), an OS mechanism that supports seamless dynamic migration of Internet service sessions between cooperating multi-process servers. Service con...