147 search results - page 20 / 30 » Storing and Retrieving Software Components: A Refinement Bas... |
APBC
2003
13 years 10 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...
FM
2006
Springer
14 years 8 days ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
The concept of location has become very popular in many applications on the Web, in particular for those which aim at connecting the real world with resources on the Web. However,...