Sciweavers

6794 search results - page 747 / 1359
» Semantics of Visual Languages
Sort
View
WWW
2002
ACM
16 years 7 months ago
Simulation, verification and automated composition of web services
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
Srini Narayanan, Sheila A. McIlraith
CAISE
2004
Springer
16 years 18 days ago
Ranked Matching for Service Descriptions using DAML-S
Abstract. The vision of Semantic Web services is that computer systems shall find eligible services autonomously. This can be realised with providing semantic description about ad...
Michael C. Jaeger, Stefan Tang
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 11 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
CONCUR
1994
Springer
15 years 11 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
ESWS
2006
Springer
15 years 11 months ago
Automatic Extraction of Hierarchical Relations from Text
Abstract. Automatic extraction of semantic relationships between entity instances in an ontology is useful for attaching richer semantic metadata to documents. In this paper we pro...
Ting Wang, Yaoyong Li, Kalina Bontcheva, Hamish Cu...