26 search results - page 2 / 6 » Building More Secure Commercial Software: The Trustworthy Co... |
COMPSAC
2008
IEEE
13 years 9 months ago
2008
IEEE
Given the widespread intimidation state of affairs, there is a gripping want to enlarge architectures, algorithms, and protocols to apprehend a trustworthy network infrastructure....
ESOP
2005
Springer
14 years 29 days ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
LADC
2007
Springer
14 years 1 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
OOPSLA
2005
Springer
14 years 28 days ago
2005
Springer
It is well documented that software product cost estimates are notoriously inaccurate across the software industry. Creating accurate cost estimates for software product developme...