Sciweavers

81 search results - page 7 / 17
» Thinking Tools for the Future of Computing Science
Sort
View
LAWEB
2009
IEEE
15 years 4 months ago
Promoting Creative Design through Toolkits
—Computer science academics and professionals typically consider their contributions in terms of the algorithms, applications, and techniques that they develop. Yet equally impor...
Saul Greenberg
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
15 years 2 months ago
Beyond Mobile: Research Topics for upcoming Technologies in the Insurance Industry
This paper provides a first idea on changes induced by new ICT that goes ‘beyond mobile’. Main aspects considered are value creation structures, value proposition of products ...
Christian D. Müller, Hans-Dieter Zimmermann
SIGOPS
2008
141views more  SIGOPS 2008»
14 years 9 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
87
Voted
IV
2003
IEEE
200views Visualization» more  IV 2003»
15 years 2 months ago
Artist As Researcher, Understanding The Tools
The paper begins with a response to the nature of contemporary artists relationships to how computers have permeated the fine art domain and how they affect the creative process. ...
Theresa Gartland-Jones
EUROPKI
2009
Springer
14 years 7 months ago
A Computational Framework for Certificate Policy Operations
The trustworthiness of any Public Key Infrastructure (PKI) rests upon the expectations for trust, and the degree to which those expectations are met. Policies, whether implicit as ...
Gabriel A. Weaver, Scott A. Rea, Sean W. Smith