Equivalence class verification of the contract net protocol-extension.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 6, p. 685, doi. 10.1007/s10009-015-0376-z
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2016 AND VI 18 AND IP 6
Results: 7
1
2
Using registries to integrate bioinformatics tools and services into workbench environments.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 6, p. 581, doi. 10.1007/s10009-015-0392-z
- By:
- Publication type:
- Article
3
A scalable Cloud-based system for data-intensive spatial analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 6, p. 587, doi. 10.1007/s10009-015-0398-6
- By:
- Publication type:
- Article
4
Scientific workflows for process mining: building blocks, scenarios, and implementation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 6, p. 607, doi. 10.1007/s10009-015-0399-5
- By:
- Publication type:
- Article
5
Scientific workflows with the jABC framework.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 6, p. 629, doi. 10.1007/s10009-016-0427-0
- By:
- Publication type:
- Article
6
Scientific workflows.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 6, p. 575, doi. 10.1007/s10009-016-0428-z
- By:
- Publication type:
- Article
7
Provably correct control flow graphs from Java bytecode programs with exceptions.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 6, p. 653, doi. 10.1007/s10009-015-0375-0
- By:
- Publication type:
- Article