1121 search results - page 206 / 225 » Building Formal Requirements Models for Reliable Software |
INFOCOM
1999
IEEE
15 years 1 months ago
1999
IEEE
We are facing a growing user demand for ubiquitous Internet access. As a result, network ports and wireless LANs are becoming common in public spaces inside buildings such as loung...
DSN
2005
IEEE
15 years 3 months ago
2005
IEEE
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
BMCBI
2008
14 years 9 months ago
2008
Background: New systems biology studies require researchers to understand how interplay among myriads of biomolecular entities is orchestrated in order to achieve high-level cellu...
IDA
2000
Springer
14 years 9 months ago
2000
Springer
When high-dimensional data vectors are visualized on a two- or three-dimensional display, the goal is that two vectors close to each other in the multi-dimensional space should als...