124 search results - page 18 / 25 » Metrics for Analyzing Module Interactions in Large Software ... |
BMCBI
2011
13 years 2 months ago
2011
Background: Phyloinformatic analyses involve large amounts of data and metadata of complex structure. Collecting, processing, analyzing, visualizing and summarizing these data and...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
CD
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. A distributed software system's deployment architecture can have a significant impact on the system's properties. These properties will depend on various system...
APIN
1998
13 years 7 months ago
1998
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...
ICDCS
2003
IEEE
14 years 1 months ago
2003
IEEE
A range of database services are being offered on clusters of workstations today to meet the demanding needs of applications with voluminous datasets, high computational and I/O r...