Sciweavers

260 search results - page 6 / 52
» Semantic model checking security requirements for web servic...
Sort
View
COORDINATION
2007
Springer
14 years 2 months ago
A Coordination Model for Triplespace Computing
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
Elena Paslaru Bontas Simperl, Reto Krummenacher, L...
IAT
2009
IEEE
14 years 3 months ago
Improving Collaborations in Neuroscientist Community
In this paper, we present a new approach, called SATIS (Semantically AnnotaTed Intentions for Services), relying on semantic web technologies and models, to assist collaboration a...
Isabelle Mirbel, Pierre Crescenzo
BPSC
2009
184views Business» more  BPSC 2009»
13 years 9 months ago
Generating WS-SecurityPolicy Documents via Security Model Transformation
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
Meiko Jensen
FM
2003
Springer
169views Formal Methods» more  FM 2003»
14 years 1 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
ICSEA
2009
IEEE
14 years 3 months ago
Ontology Driven E-Government
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
Peter Salhofer, Bernd Stadlhofer, Gerald Tretter