Sciweavers

2521 search results - page 190 / 505
» Semantic Component Composition
Sort
View
APN
2009
Springer
15 years 7 months ago
Monotonicity in Service Orchestrations
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...
Anne Bouillard, Sidney Rosario, Albert Benveniste,...
139
Voted
TACAS
2010
Springer
212views Algorithms» more  TACAS 2010»
14 years 10 months ago
Assume-Guarantee Verification for Probabilistic Systems
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
Marta Z. Kwiatkowska, Gethin Norman, David Parker,...
89
Voted
EUSFLAT
2003
106views Fuzzy Logic» more  EUSFLAT 2003»
15 years 2 months ago
An XML vocabulary for soft computing
This paper presents iXSCL, an XML based language for the specification of objects in the Soft Computing area. iXSCL adopts a compositional approach in which objects are construct...
Adolfo R. de Soto, Conrado A. Capdevila, Eva Cuerv...
125
Voted
SEMCO
2009
IEEE
15 years 7 months ago
Conceptual Space Markup Language (CSML): Towards the Cognitive Semantic Web
—CSML is a semantic markup language created for the publishing and sharing of conceptual spaces, which are geometric structures that represent semantics at the conceptual level. ...
Benjamin Adams, Martin Raubal
108
Voted
VLDB
2004
ACM
117views Database» more  VLDB 2004»
15 years 6 months ago
Discovering and Ranking Semantic Associations over a Large RDF Metabase
Information retrieval over semantic metadata has recently received a great amount of interest in both industry and academia. In particular, discovering complex and meaningful rela...
Christian Halaschek-Wiener, Boanerges Aleman-Meza,...