98 search results - page 5 / 20 » A cohesive framework to quantify computer systems assurance |
CLUSTER
2006
IEEE
2006
IEEE
A flexible multi-dimensional QoS performance measure framework for distributed heterogeneous systems
13 years 7 months ago
When users' tasks in a distributed heterogeneous computing environment (e.g., cluster of heterogeneous computers) are allocated resources, the total demand placed on some sys...
ACMDIS
2004
ACM
14 years 14 days ago
2004
ACM
We elaborate a proposal for capturing, extending, and reusing design knowledge gleaned through usability testing. The proposal is specifically targeted to address interface design...
JAR
2000
13 years 6 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
RTAS
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
DANCE
2002
IEEE
13 years 12 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...