Sciweavers

2776 search results - page 184 / 556
» System-Level Abstraction Semantics
Sort
View
135
Voted
CONCUR
2003
Springer
15 years 10 months ago
Comparative Branching-Time Semantics
d Abstract) Christel Baier1 , Holger Hermanns2,3 , Joost-Pieter Katoen2 , and Verena Wolf1 1 Institut f¨ur Informatik I, University of Bonn R¨omerstraße 164, D-53117 Bonn, Germa...
Christel Baier, Holger Hermanns, Joost-Pieter Kato...
EMSOFT
2003
Springer
15 years 10 months ago
Event Correlation: Language and Semantics
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
César Sánchez, Sriram Sankaranarayan...
ESWS
2010
Springer
15 years 9 months ago
Generating Innovation with Semantically Enabled TasLab Portal
Abstract. In this paper we present a concrete case study in which semantic technology has been used to enable a territorial innovation. Firstly, we describe a scenario of the ICT r...
Pavel Shvaiko, Alessandro Oltramari, Roberta Cuel,...
DEXA
2006
Springer
193views Database» more  DEXA 2006»
15 years 8 months ago
Understanding and Enhancing the Folding-In Method in Latent Semantic Indexing
Abstract. Latent Semantic Indexing(LSI) has been proved to be effective to capture the semantic structure of document collections. It is widely used in content-based text retrieval...
Xiang Wang 0002, Xiaoming Jin
ESWS
2008
Springer
15 years 6 months ago
Enhancing Workflow with a Semantic Description of Scientific Intent
Abstract. In the e-Science context, workflow technologies provide a problemsolving environment for researchers by facilitating the creation and execution of experiments from a pool...
Edoardo Pignotti, Peter Edwards, Alun D. Preece, N...