Sciweavers

1653 search results - page 305 / 331
» Computer science and game theory
Sort
View
PDC
2004
ACM
14 years 2 months ago
From small scale to large scale user participation: a case study of participatory design in e-government systems
Most experiments with participative design are with small scale, stand alone and not very strategic applications of ICT in organizations. However, modern ICT applications are incr...
Anne-Marie Oostveen, Peter Van den Besselaar
SIGCSE
2004
ACM
141views Education» more  SIGCSE 2004»
14 years 2 months ago
Running on the bare metal with GeekOS
Undergraduate operating systems courses are generally taught e of two approaches: abstract or concrete. In the approach, students learn the concepts underlying operating systems t...
David Hovemeyer, Jeffrey K. Hollingsworth, Bobby B...
CSR
2010
Springer
14 years 1 months ago
Balancing Bounded Treewidth Circuits
Algorithmic tools for graphs of small treewidth are used to address questions in complexity theory. For both arithmetic and Boolean circuits, it is shown that any circuit of size ...
Maurice Jansen, Jayalal M. N. Sarma
GI
2009
Springer
14 years 1 months ago
The Human Being as a Servo. Von Feedback Control zur Kybernetik
Abstract: Am Anfang der Kybernetik steht die Erkenntnis Norbert Wieners, dass Lebewesen und Maschinen etwas gemeinsam haben: Ihr Verhalten l¨asst sich als Feedbackprozess beschrei...
Lasse Scherffig
HYBRID
1998
Springer
14 years 29 days ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch