4326 search results - page 137 / 866 » A Model for Process Service Interaction |
148
click to vote
IEEEHPCS
2010
15 years 1 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
117
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
We present a tool for performance modeling of Service Oriented Architectures (SOAs). As mission-critical use of whole-ofgovernment SOAs become pervasive, the capability to model a...
155
Voted
ICWS
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
128
Voted
IFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
115
click to vote
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
A new system for interactive streaming of high-resolution 360? panoramic views over the Internet is presented. The scene is represented very efficiently using MPEG-4 BIFS and disp...