28532 articles – 22057 Notices  [english version]
.:. Consultation > Par auteur > Allam .:.
6 documents classés par :
fulltext access From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping
Allam D., Grall H., Royer J.-C.
Dans WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies (2013) [hal-00800153 - version 1]
fulltext access Well-Typed Services Cannot Go Wrong
Allam D., Douence R., Grall H., Royer J.-C., Südholt M.
N° RR-7899 (2012) [hal-00700570 - version 2]
fulltext access A Message-Passing Model for Service Oriented Computing
Allam D., Douence R., Grall H., Royer J.-C., Südholt M.
In WEBIST, 8th International Conference on Web Information Systems and Technologies (2012) 136-142 [hal-00668975 - version 1]
fulltext access A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
Allam D.
Dans AOSD 2012 Student Research Competition (Poster) (2012) 9--10 [hal-00668999 - version 1]
The Synthesis Problem for Trusted Service-based Collaborations
Allam D., Douence R., Grall H., Royer J.-C., Südholt M.
Dans Actes des troisi(é)mes journ(é)es nationales du Groupement De Recherche CNRS du G(é)nie de la Programmation et du Logiciel (2011) [hal-00700750 - version 1]
fulltext access Towards a Unified Formal Model for Service Orchestration and Choreography
Allam D., Grall H., Royer J.-C.
Dans Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster) (2011) [hal-00700737 - version 1]