Sciweavers

1573 search results - page 82 / 315
» Picture Programming Project
Sort
View
ESOP
2007
Springer
15 years 6 months ago
Structured Communication-Centred Programming for Web Services
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
Marco Carbone, Kohei Honda, Nobuko Yoshida
PADL
2001
Springer
15 years 4 months ago
Interoperability between Bioinformatics Tools: A Logic Programming Approach
The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing ...
Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontel...
AVI
2004
15 years 1 months ago
Generative Programming of graphical user interfaces
Generative Programming (GP) is a new paradigm that allows automatic creation of entire software family, using the configuration of elementary and reusable components. GP can be pr...
Max Schlee, Jean Vanderdonckt
JCS
2010
122views more  JCS 2010»
14 years 10 months ago
Provably correct inline monitoring for multithreaded Java-like programs
Inline reference monitoring is a powerful technique to enforce security policies on untrusted programs. The security-by-contract paradigm proposed by the EU FP6 S3 MS project uses...
Mads Dam, Bart Jacobs 0002, Andreas Lundblad, Fran...
FGR
2006
IEEE
194views Biometrics» more  FGR 2006»
15 years 6 months ago
Robust Multi-View Multi-Camera Face Detection inside Smart Rooms Using Spatio-Temporal Dynamic Programming
Robust face detection presents a difficult problem in real interaction scenarios, that, in order to achieve, most often requires employing additional sources of information. In t...
ZhenQiu Zhang, Gerasimos Potamianos, Ming Liu, Tho...