Sciweavers

3268 search results - page 276 / 654
» Structured Service Composition
Sort
View
ENTCS
2007
100views more  ENTCS 2007»
15 years 6 months ago
JOLIE: a Java Orchestration Language Interpreter Engine
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...
Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, G...
IFIP
2009
Springer
16 years 1 months ago
Transformations between Cryptographic Protocols
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
Joshua D. Guttman
ICCCN
2008
IEEE
16 years 1 months ago
The RNA Metaprotocol
— The Recursive Network Architecture (RNA) explores the relationship of layering to protocol and network architecture. RNA examines the implications of using a single, tunable pr...
Joseph D. Touch, Venkata K. Pingali
WSFM
2007
Springer
16 years 22 days ago
From BPEL to SRML: A Formal Transformational Approach
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
Laura Bocchi, Yi Hong, Antónia Lopes, Jos&e...
CAISE
2006
Springer
15 years 10 months ago
Capability Management and Discovery in Description Logic
In some application domains as composite software, ranging from search engines, to more general applications, like cooperative and distributed applications or e-business and e-comm...
Dong Cheng, Nacer Boudjlida