5210 search results - page 39 / 1042 » Tools for Distributed Facilitation |
BMCBI
2005
14 years 9 months ago
2005
Background: Single amino acid repeats make up a significant proportion in all of the proteomes that have currently been determined. They have been shown to be functionally and med...
FMSD
2002
14 years 9 months ago
2002
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 ...
CCGRID
2006
IEEE
15 years 3 months ago
2006
IEEE
We describe a high performance Grid based signal search tool for distributed diagnostic applications developed in conjunction with Rolls-Royce plc for civil aero engine condition ...
KBSE
1997
IEEE
15 years 1 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
MKWI
2008
14 years 11 months ago
2008
: Traceability and rationale management are highly important--especially in distributed collaborative software development projects due to a lack of mutual awareness and informal c...