283 search results - page 10 / 57 » Software Inspections We Can Trust |
136
click to vote
WOWMOM
2006
ACM
15 years 12 months ago
2006
ACM
— Remote attestation in trusted computing is about the ability of a local platform to authenticate the hardware and the software stack running on a remote trusted platform. We sa...
159
click to vote
ICML
2009
IEEE
16 years 6 months ago
2009
IEEE
We present a unified framework for learning link prediction and edge weight prediction functions in large networks, based on the transformation of a graph's algebraic spectru...
160
click to vote
HICSS
2007
IEEE
16 years 10 days ago
2007
IEEE
— Open Source Software is computer software for which the source code is publicly open for inspection, modification, and redistribution. While research of a few, large, successf...
154
click to vote
FECS
2006
15 years 7 months ago
2006
- One of the major areas of software engineering, as specified in the SWEBOK (SoftWare Engineering Body Of Knowledge) [1], is software quality. This paper presents an argument on w...
149
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...