5777 search results - page 1042 / 1156 » The palladio component model |
287
Voted
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
160
Voted
APCHI
2004
IEEE
15 years 9 months ago
2004
IEEE
One component of a user's interaction with computer systems is commonly referred to as `flow'. Flow is an important consideration in interactive system design as it enca...
154
click to vote
APSEC
2004
IEEE
15 years 9 months ago
2004
IEEE
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...
179
click to vote
ARCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
152
Voted
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...