Sciweavers

4286 search results - page 111 / 858
» Formalizing Service Interactions
Sort
View
ISOLA
2010
Springer
15 years 4 months ago
Modeling and Reasoning about Service Behaviors and Their Compositions
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pe...
AICOM
2005
108views more  AICOM 2005»
15 years 6 months ago
SIADEX: An interactive knowledge-based planner for decision support in forest fire fighting
SIADEX is a complex framework that integrates several AI techniques able to design fighting plans against forest fires. It is based on four main components, a web server, that cent...
Marc de la Asunción, Luis A. Castillo, Juan...
ECOWS
2009
Springer
16 years 24 days ago
Specifying and Monitoring Temporal Properties in Web Services Compositions
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...
Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mez...
CSREAPSC
2006
15 years 7 months ago
Design of an Open Context-Aware Platform enabling Desk Sharing Office Services
Matthias Strobbe, Gregory De Jans, Jan Hollez, Nic...
ACMICEC
2007
ACM
114views ECommerce» more  ACMICEC 2007»
15 years 10 months ago
A service system design approach for ITV banking
The design of Interactive TV services is in an experimental phase. The design of these services needs a more structured approach that enables the actors involved to cooperate and ...
Els vandekar, Jessica Groeneweg