Sciweavers

62 search results - page 6 / 13
» A Formal Approach for Identity Management in Federated Web S...
Sort
View
ACIIDS
2009
IEEE
122views Database» more  ACIIDS 2009»
13 years 11 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 8 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...
ESORICS
2005
Springer
14 years 7 days ago
Browser Model for Security Analysis of Browser-Based Protocols
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sa...
IEEESCC
2005
IEEE
14 years 9 days ago
Monitoring Access to Stateful Resources in Grid Environments
Currently, Grid technologies are widely used in largescale scientific applications. Grids support stateful interactions with explicit exposure of state information across the boun...
Sangmi Lee Pallickara, Beth Plale, Scott Jensen, Y...
HICSS
2006
IEEE
144views Biometrics» more  HICSS 2006»
14 years 23 days ago
The Choreography Model for IRS-III
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
John Domingue, Stefania Galizia, Liliana Cabral