7452 search results - page 416 / 1491 » A Semantics for Multiprocessor Systems |
177
Voted
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
165
click to vote
AAMAS
2007
Springer
15 years 7 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
190
Voted
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Despite numerous proposals for its creation, the semantic web has yet to achieve widespread adoption. Recently, some researchers have argued that participation in the semantic web...
159
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a method and a tool for publishing semantic web content in RDF(S) for the humans as a static HTML page site. Categories and Subject Descriptors: H.5.4 Informat...
179
Voted
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...