2705 search results - page 234 / 541 » Formal Ontology for Subject |
WWW
2001
ACM
14 years 9 months ago
2001
ACM
Representation of negotiations in electronic markets and their support are important issues in today's e-commerce research. Whereas most activities are focused on automation ...
ICSNW
2004
Springer
14 years 1 months ago
2004
Springer
Peer-to-Peer systems have proven to be an effective way of sharing data. Modern protocols are able to efficiently route a message to a given peer. However, determining the destin...
LREC
2010
2010
Evaluating Semantic Relations and Distances in the Associative Concept Dictionary using NIRS-imaging
13 years 9 months ago
In this study, we extracted brain activities related to semantic relations and distances to improve the precision of distance calculation among concepts in the Associated Concept ...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
The desynchronization approach combines a traditional synchronous specification style with a robust asynchronous implementation model. The main contribution of this paper is the d...