1060 search results - page 6 / 212 » Mechanized semantics |
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—State signaling and maintenance mechanisms play crucial roles in communication network protocols. State is used to facilitate indirections in protocols such as routing. Design a...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
The current discussion about a future Semantic Web trust architecture is focused on reputational trust mechanisms based on explicit trust ratings. What is often overlooked is the ...
69
Voted
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, we present EachWiki, an extension of Semantic MediaWiki characterized by an intelligent suggestion mechanism. It aims to facilitate the wiki authoring by r...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
This paper brings forward a two-phase semantic service discovery mechanism which supports both the operation matchmaking and operation-composition matchmaking. A serial of experim...
109
click to vote
AMEC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...