Sciweavers

581 search results - page 52 / 117
» Abstract Semantics by Observable Contexts
Sort
View
ECOOP
2000
Springer
15 years 10 months ago
A Basic Model of Typed Components
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
João Costa Seco, Luís Caires
EMSOFT
2010
Springer
15 years 4 months ago
From high-level component-based models to distributed implementations
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, ...
GEOS
2007
Springer
16 years 9 days ago
Algorithm, Implementation and Application of the SIM-DL Similarity Server
Abstract. Semantic similarity measurement gained attention as a methodology for ontology-based information retrieval within GIScience over the last years. Several theories explain ...
Krzysztof Janowicz, Carsten Keßler, Mirco Sc...
CONCUR
1994
Springer
15 years 10 months ago
Weak Sequential Composition in Process Algebras
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
Arend Rensink, Heike Wehrheim
ACL
2008
15 years 7 months ago
Solving Relational Similarity Problems Using the Web as a Corpus
We present a simple linguistically-motivated method for characterizing the semantic relations that hold between two nouns. The approach leverages the vast size of the Web in order...
Preslav Nakov, Marti A. Hearst