Sciweavers

17049 search results - page 3036 / 3410
» cans 2007
Sort
View
ENTCS
2007
84views more  ENTCS 2007»
15 years 6 months ago
A Rewriting Logic Framework for Soft Constraints
Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
Martin Wirsing, Grit Denker, Carolyn L. Talcott, A...
ENTCS
2007
104views more  ENTCS 2007»
15 years 6 months ago
A Formal Framework for Web Services Coordination
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...
Claudio Guidi, Roberto Lucchi, Manuel Mazzara
ENTCS
2007
140views more  ENTCS 2007»
15 years 6 months ago
Secured Information Flow for Asynchronous Sequential Processes
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
Isabelle Attali, Denis Caromel, Ludovic Henrio, Fe...
ENTCS
2007
100views more  ENTCS 2007»
15 years 6 months ago
JOLIE: a Java Orchestration Language Interpreter Engine
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...
Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, G...
ENTCS
2007
108views more  ENTCS 2007»
15 years 6 months ago
An Adaptation-based Approach to Incrementally Build Component Systems
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
Pascal Poizat, Gwen Salaün, Massimo Tivoli
« Prev « First page 3036 / 3410 Last » Next »