4286 search results - page 69 / 858 » Formalizing Service Interactions |
ENTCS
2007
15 years 2 months ago
2007
We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any sys...
136
click to vote
WSFM
2007
Springer
15 years 8 months ago
2007
Springer
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...
107
click to vote
FOSAD
2005
Springer
15 years 8 months ago
2005
Springer
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
135
Voted
SMC
2007
IEEE
15 years 8 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
126
click to vote
FTDCS
2004
IEEE
15 years 6 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...