2493 search results - page 495 / 499 » Tool Support for Design by Contract |
BMCBI
2006
13 years 8 months ago
2006
Background: In the post-genome era, most research scientists working in the field of proteomics are confronted with difficulties in management of large volumes of data, which they...
CCR
2006
13 years 8 months ago
2006
Network proximity and latency estimation is an important component in discovering and locating services and applications. With the growing number of services and service providers...
CPHYSICS
2006
13 years 8 months ago
2006
Studies on the entanglement of n-qubit quantum systems have attracted a lot of interest during recent years. Despite the central role of entanglement in quantum information theory...
CSCW
2006
ACM
13 years 8 months ago
2006
ACM
As the basic sciences become increasingly information-intensive, the management and use of research data presents new challenges in the collective activities that constitute schola...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
— We consider a dense fading multi-user network with multiple active multi-antenna source-destination pair terminals communicating simultaneously through a large common set of K ...