Sciweavers

789 search results - page 61 / 158
» Pushing using Compliance
Sort
View
PCI
2001
Springer
15 years 5 months ago
Website Content Accessibility of the Cyprus Domain
Abstract. This paper extends previous studies that investigated the accessibility of different web sites of specific content, to an analysis of the whole web of a specific country ...
Panayiotis Zaphiris, Giorgos Zacharia
IAT
2009
IEEE
15 years 5 months ago
Adaptive Deterrence Sanctions in a Normative Framework
Normative environments are used to regulate multiagent interactions. In business encounters, agents representing business entities make contracts including norms that prescribe wh...
Henrique Lopes Cardoso, Eugénio C. Oliveira
CAISE
2006
Springer
15 years 5 months ago
Experiences with Modeling and Verification of Regulations
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
Jan Vanthienen, Christophe Mues, Stijn Goedertier
COORDINATION
2006
Springer
15 years 5 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
ENTCS
2010
82views more  ENTCS 2010»
15 years 1 months ago
A Strict-Observational Interface Theory for Analysing Service Orchestrations
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
Philip Mayer, Andreas Schroeder, Sebastian S. Baue...