Sciweavers

1284 search results - page 68 / 257
» Abstract Processes in Orchestration Languages
Sort
View
ICFP
2006
ACM
16 years 4 months ago
An object-oriented approach to datatype-generic programming
Datatype-generic programming (DGP) is the next step beyond abstracting over types using parametric polymorphism, which is often called "genericity" in object-oriented la...
Adriaan Moors, Frank Piessens, Wouter Joosen
ESAW
2006
Springer
15 years 8 months ago
Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
Tim Miller, Peter McBurney
ECWEB
2005
Springer
187views ECommerce» more  ECWEB 2005»
15 years 10 months ago
Improving Reuse of Web Service Compositions
We describe a methodology for assembling composite services based on three basic processes which are independent of the concrete implementation: Abstraction Process, Service Compos...
Carlos Granell, Michael Gould, Roy Grønmo, ...
ECAL
2003
Springer
15 years 10 months ago
Semantic Generalisation and the Inference of Meaning
Abstract. In this paper, a computational model of a successful negotiated communication system is presented, in which language agents develop their own meanings in response to thei...
Andrew D. M. Smith
HOA
1993
15 years 9 months ago
The Semantics of SPECTRUM
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
Radu Grosu, Franz Regensburger