414 search results - page 48 / 83 » Using Strongest Postconditions to Improve Software Quality |
131
Voted
SIGSOFT
2002
ACM
16 years 1 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
108
Voted
BMCBI
2008
15 years 20 days ago
2008
Background: Illumina bead-based arrays are becoming increasingly popular due to their high degree of replication and reported high data quality. However, little attention has been...
143
Voted
PAMI
2012
13 years 3 months ago
2012
—We propose a probabilistic formulation of joint silhouette extraction and 3D reconstruction given a series of calibrated 2D images. Instead of segmenting each image separately i...
DAC
1998
ACM
16 years 1 months ago
1998
ACM
We have developed a new algorithm and software for graph coloring by systematically combining several algorithm and software development ideas that had crucial impact on the algor...
97
Voted
ICSE
2007
IEEE-ACM
16 years 19 days ago
2007
IEEE-ACM
The incorporation of context-awareness capabilities into pervasive applications allows them to leverage contextual information to provide additional services while maintaining an ...