1833 search results - page 168 / 367 » Mechanized Verification with Sharing |
157
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
In this demo, we present the Cupboard system for ontology publishing, sharing and reuse. This system is intended to support both ontology engineers and ontology users/practitioners...
162
click to vote
DASFAA
2007
IEEE
16 years 24 days ago
2007
IEEE
To support secure exchanging and sharing of XML data over the Internet, a myriad of XML access control mechanisms have been proposed. In the setting of node-level fine-grained acc...
177
click to vote
WOWMOM
2006
ACM
16 years 12 days ago
2006
ACM
—This paper aims at improving the power efficiency of the CSMA/CA protocol for transmission of multimedia information over multihop wireless channels. Using a distance dependent ...
185
click to vote
CAISE
2005
Springer
16 years 15 hour ago
2005
Springer
Ontologies play a key role in the realization of the Semantic Web. An ontology is used as an explicit specification of a shared conceptualization of a given domain. When such a dom...
193
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
After noting that informal documents and formal knowledge bases are far from ideal for discussing or retrieving technical knowledge, we propose mechanisms to support the sharing, r...