283 search results - page 10 / 57 » Software Inspections We Can Trust |
WOWMOM
2006
ACM
14 years 2 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...
ICML
2009
IEEE
14 years 9 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...
HICSS
2007
IEEE
14 years 2 months 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...
FECS
2006
13 years 10 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...
SIGADA
2005
Springer
14 years 2 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...