Sciweavers

4286 search results - page 73 / 858
» Formalizing Service Interactions
Sort
View
98
Voted
MMM
2005
Springer
119views Multimedia» more  MMM 2005»
15 years 8 months ago
A Metadata Model Supporting Scalable Interactive TV Services
In this paper, we introduce a novel metadata model for describing scalable and interactive TV services that can be enriched with supplemental multimedia information. The model all...
Gwenaël Durand, Gabriella Kazai, Mounia Lalma...
92
Voted
BPM
2005
Springer
97views Business» more  BPM 2005»
15 years 8 months ago
Service Interaction Patterns
Abstract. With increased sophistication and standardization of modeling languages and execution platforms supporting business process management (BPM) across traditional boundaries...
Alistair P. Barros, Marlon Dumas, Arthur H. M. ter...
SIGSOFT
2000
ACM
15 years 7 months ago
Automated systematic testing for constraint-based interactive services
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, ...
JLP
2007
159views more  JLP 2007»
15 years 2 months ago
Reasoning about interaction protocols for customizing web service selection and composition
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
CDC
2009
IEEE
15 years 7 months ago
Interaction of service providers in task delegation under simple payment rules
— We consider a scenario where an application service provider (ASP) hires a network service provider (NSP) to deliver its service and pays for the employment of the NSP. We stud...
Richard J. La, Jeonghoon Mo