Sciweavers

46 search results - page 2 / 10
» Management and Retrieval of Web Services Based on Formal Con...
Sort
View
CAISE
2008
Springer
13 years 6 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
PET
2004
Springer
13 years 9 months ago
A Formal Privacy System and Its Application to Location Based Services
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
Carl A. Gunter, Michael J. May, Stuart G. Stubbleb...
WWW
2008
ACM
14 years 5 months ago
The locative web
The concept of location has become very popular in many applications on the Web, in particular for those which aim at connecting the real world with resources on the Web. However,...
Erik Wilde, Martin Kofahl
ACIIDS
2009
IEEE
122views Database» more  ACIIDS 2009»
13 years 9 months ago
Student Modelling Based on Ontologies
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
Alejandro Peña Ayala
FASE
2008
Springer
13 years 6 months ago
A Formal Framework for Developing Adaptable Service-Based Applications
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mau...