1516 search results - page 215 / 304 » Trends in Software Verification |
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
Measuring effort accurately and consistently across subjects in a programming experiment can be a surprisingly difficult task. In particular, measures based on self-reported data ...