Sciweavers

762 search results - page 72 / 153
» How to realize
Sort
View
FSTTCS
2007
Springer
15 years 10 months ago
Closures and Modules Within Linear Logic Concurrent Constraint Programming
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
Rémy Haemmerlé, François Fage...
ICWE
2007
Springer
15 years 10 months ago
On Embedding Task Memory in Services Composition Frameworks
With the increasing availability of Web services and adoption of services oriented paradigm, there is a growing need to dynamically compose services for realizing complex user task...
Rosanna Bova, Hye-Young Paik, Salima Hassas, Salim...
SEKE
2007
Springer
15 years 10 months ago
A Model-driven Approach to Architecting Secure Software
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
Ebenezer A. Oladimeji, Sam Supakkul, Lawrence Chun...
IEEESCC
2006
IEEE
15 years 10 months ago
Using Assumptions in Service Composition Context
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...
Zheng Lu, Aditya Ghose, Peter Hyland, Ying Guan
IROS
2006
IEEE
200views Robotics» more  IROS 2006»
15 years 10 months ago
Control of facial expressions of the humanoid robot head ROMAN
— For humanoid robots which are able to assist humans in their daily life, the capability for adequate interaction with human operators is a key feature. If one considers that mo...
Karsten Berns, Jochen Hirth