Sciweavers

5434 search results - page 336 / 1087
» Tool support for MOLA
Sort
View
DEBU
2002
144views more  DEBU 2002»
15 years 6 months ago
Definition and Execution of Composite Web Services: The SELF-SERV Project
Web services composition is emerging as a promising technology for the effective automation of businessto-business collaborations. It allows organizations to form alliances by con...
Boualem Benatallah, Marlon Dumas, Zakaria Maamar
IEE
2000
143views more  IEE 2000»
15 years 6 months ago
Object-oriented preprocessor fit for C++
: C++ retains the ANSI C preprocessor, although its limitations have been widely recognised. We describe FOG, a meta-compiler for a super-set of C++, that provides replacement prep...
Edward D. Willink, Vyacheslav B. Muchnick
MOC
2000
124views more  MOC 2000»
15 years 6 months ago
Local and parallel finite element algorithms based on two-grid discretizations
A number of new local and parallel discretization and adaptive finite element algorithms are proposed and analyzed in this paper for elliptic boundary value problems. These algorit...
Jinchao Xu, Aihui Zhou
FMSD
2002
114views more  FMSD 2002»
15 years 6 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
IEE
2002
128views more  IEE 2002»
15 years 6 months ago
A study of configuration management in open source software projects
Projects where developers are geographically distributed and with high personnel turnover are usually considered to be hard to manage. Any organisation that successfully handles s...
Ulf Asklund, Lars Bendix