8655 search results - page 1117 / 1731 » Challenges for Trusted Computing |
191
click to vote
TACAS
2005
Springer
16 years 21 days ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
219
click to vote
WABI
2005
Springer
16 years 21 days ago
2005
Springer
Abstract Baharak Rastegari and Anne Condon Department of Computer Science, University of British Columbia Abstract. Accurate prediction of pseudoknotted RNA secondary structure is ...
192
click to vote
EGC
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Grid software often unfortunately requires significant changes in existing infrastructure, both in terms of policy and mechanism, instead of accommodating and leveraging ...
218
click to vote
CF
2004
ACM
16 years 20 days ago
2004
ACM
New applications and standards are first conceived only for functional correctness and without concerns for the target architecture. The next challenge is to map them onto an arch...
171
click to vote
CSCW
2004
ACM
16 years 20 days ago
2004
ACM
Emerging technologies offer new ways of using entertainment technology to foster interactions between players and connect people. Evaluating collaborative entertainment technology...