Sciweavers

2521 search results - page 190 / 505
» Semantic Component Composition
Sort
View
APN
2009
Springer
14 years 5 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,...
TACAS
2010
Springer
212views Algorithms» more  TACAS 2010»
13 years 8 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,...
EUSFLAT
2003
106views Fuzzy Logic» more  EUSFLAT 2003»
14 years 15 hour 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...
SEMCO
2009
IEEE
14 years 5 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
VLDB
2004
ACM
117views Database» more  VLDB 2004»
14 years 4 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,...