Sciweavers

8655 search results - page 234 / 1731
» Challenges for Trusted Computing
Sort
View
ASM
2003
ASM
15 years 4 months ago
A Framework for Proving Contract-Equipped Classes
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
Bertrand Meyer
CGA
2000
14 years 10 months ago
Imagination Amplification
ing graphics from reality as among the top ten challenges in computer graphics while Cohen [4] argues computer graphics real role is to enable imagination amplification beyond real...
Michael F. Cohen
AAAI
2006
15 years 12 days ago
Laughing with HAHAcronym, a Computational Humor System
Computational humor is a challenge with implications for many classical fields in AI such as, for example, natural language processing, intelligent human-computer interaction, rea...
Oliviero Stock, Carlo Strapparava
BIRTHDAY
2010
Springer
14 years 11 months ago
From the Internet of Computers to the Internet of Things
Abstract. This paper1 discusses the vision, the challenges, possible usage scenarios and technological building blocks of the "Internet of Things". In particular, we cons...
Friedemann Mattern, Christian Floerkemeier
AES
2010
Springer
141views Cryptology» more  AES 2010»
14 years 11 months ago
Provide Virtual Distributed Environments for Grid computing on demand
Grid users always expect to meet some challenges to employ Grid resources, such as customized computing environment and QoS support. In this paper, we propose a new methodology fo...
Lizhe Wang, Gregor von Laszewski, Marcel Kunze, Ji...