Sciweavers

779 search results - page 1 / 156
» An Asynchronous Distributed Component Model and Its Semantic...
Sort
View
FMCO
2008
Springer
143views Formal Methods» more  FMCO 2008»
14 years 12 days ago
An Asynchronous Distributed Component Model and Its Semantics
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
Ludovic Henrio, Florian Kammüller, Marcela Ri...
ENTCS
2010
130views more  ENTCS 2010»
13 years 11 months ago
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...
Ludovic Henrio, Muhammad Uzair Khan
ECOWS
2006
Springer
14 years 2 months ago
Formal Modelling and Verification of an Asynchronous Extension of SOAP
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzan...
COORDINATION
2007
Springer
14 years 5 months ago
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
John Field, Maria-Cristina V. Marinescu, Christian...
DOA
2001
122views more  DOA 2001»
14 years 7 days ago
Component Search Service and Deployment of Distributed Applications
This paper presents and discusses some infrastructure services necessary for distributed applications development. The main service considered is the component search service whic...
Djemai Kebbal, Guy Bernard