Sciweavers

1856 search results - page 169 / 372
» Conceptual Model Based Semantic Web Services
Sort
View
FMICS
2007
Springer
15 years 11 months ago
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
152
Voted
WEBNET
2000
15 years 6 months ago
Models for User Access Patterns on the Web: Semantic Content versus Access History
: This work focuses on clustering a site into groups of documents that are predictive of future user accesses. Two approaches have been developed and tested. The first approach use...
Arun Ross, Charles B. Owen, Aditya Vailaya
WWW
2003
ACM
15 years 10 months ago
Finnish Museums on the Semantic Web
This article presents the semantic portal MUSEUMFINLAND for publishing heterogeneous museum collections on the Semantic Web. It is shown how museums with their semantically rich a...
Eero Hyvönen, Suvi Kettula, Vilho Raatikka, S...
WSC
2004
15 years 6 months ago
Exploring Agent-Supported Simulation Brokering on the Semantic Web: Foundations for a Dynamic Composability Approach
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...
Levent Yilmaz, Tuncer I. Ören
WWW
2004
ACM
16 years 5 months ago
Publishing museum collections on the semantic web: the museumfinland portal
Museum collections contain large amounts of data and semantically rich, mutually interrelated metadata in heterogeneous databases. The publication of museum collections on the web...
Ahti Syreeni, Arttu Valo, Eero Hyvönen, Eetu ...