260 search results - page 33 / 52 » Semantic model checking security requirements for web servic... |
ESWA
2007
13 years 8 months ago
2007
In this paper it is presented our contribution for carrying out adaptive and intelligent Web-based Education Systems (WBES) that take into account the individual student learning ...
ESCIENCE
2005
IEEE
14 years 2 months ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...
IEEEARES
2010
IEEE
14 years 3 months ago
2010
IEEE
: © Solving the Transitive Access Problem for the Services Oriented Architecture Alan H. Karp, Jun Li HP Laboratories HPL-2008-204R1 SOA, web services, access control, RBAC, PBAC,...
ACISP
2009
Springer
14 years 3 months ago
2009
Springer
Denial of service resilience is an important practical consideration for key agreement protocols in any hostile environment such as the Internet. There are well-known models that ...
JUCS
2010
13 years 7 months ago
2010
Abstract: This paper addresses the problem of expressing preferences among nonfunctional properties of services in a Web service architecture. In such a context, semantic and non-f...