4286 search results - page 217 / 858 » Formalizing Service Interactions |
209
click to vote
SAINT
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we describe the Jack-in-the-Net (Ja-Net) architecture for adaptive services in a large scale, open network environment. Using biologically inspired concepts, Ja-Net...
139
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...
179
click to vote
SDL
2007
15 years 7 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
144
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their...
159
click to vote
BROADNETS
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract— Privacy and security are two important but seemingly contradict objectives in pervasive computing environments (PCEs). On the one hand, service providers want to authen...