219 search results - page 29 / 44 » Assume-Guarantee Model Checking of Software: A Comparative C... |
DSN
2011
IEEE
13 years 9 months ago
2011
IEEE
—Virtualization offers the potential for cost-effective service provisioning. For service providers who make significant investments in new virtualized data centers in support of...
TOOLS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
87
Voted
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
110
click to vote
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
Instruction Set Simulation (ISS) is widely used in system evaluation and software development for embedded processors. Despite the significant advancements in the ISS technology,...
73
Voted
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...