Sciweavers

462 search results - page 2 / 93
» Supporting e-commerce systems formalization with choreograph...
Sort
View
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
14 years 9 days ago
Realizability of Choreographies Using Process Algebra Encodings
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 ...
Gwen Salaün, Tevfik Bultan
ICIW
2007
IEEE
14 years 2 days ago
Web Service Composition Approaches: From Industrial Standards to Formal Methods
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
EMISA
2006
Springer
13 years 9 months ago
A Unified Formal Foundation for Service Oriented Architectures
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounte...
Frank Puhlmann
HYBRID
2007
Springer
13 years 12 months ago
Motion Programs for Puppet Choreography and Control
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
Magnus Egerstedt, Todd D. Murphey, Jon Ludwig
RIDE
2003
IEEE
13 years 11 months ago
On Database Support for Multilingual Environments
Global e-Commerce and mass-outreach e-Governance programs have brought into sharp focus the need for database systems to store and manipulate text data efficiently in a suite of ...
A. Kumaran, Jayant R. Haritsa