100
Voted
IJSWIS
2006
15 years 24 days ago
2006
Ontology matching (or mapping)--finding correspondences between semantically related entities of heterogeneous ontologies--becomes crucial for interoperability in distributed and ...
123
click to vote
IJSWIS
2006
15 years 24 days ago
2006
Popular online social networks such as Friendster and MySpace do more than simply reveal the superficial structure of social connectedness--the rich meanings bottled within social...
101
Voted
IJMSO
2006
15 years 25 days ago
2006
: Metadata research has emerged as a new discipline in the last years, and is focused on the provision of semantic descriptions of a diverse kind to digital resources, web resource...
112
click to vote
INFORMATICALT
2008
15 years 25 days ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
58
Voted
IANDC
2006
15 years 25 days ago
2006
Cousot and Cousot introduced and studied a general past/future-time specification language, called
88
Voted
IJIS
2008
15 years 25 days ago
2008
Abstract. In complex multi agent systems, the agents may be heterogeneous and possibly designed by different programmers. Thus, the importance of defining a standard framework for ...
133
Voted
ENTCS
2006
15 years 25 days ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
94
Voted
ENTCS
2006
15 years 25 days ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
95
Voted
ENTCS
2006
15 years 25 days ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
110
Voted
ENTCS
2006
15 years 25 days ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...