984 search results - page 101 / 197 » ideas 2010 |
100
Voted
SIGCSE
2010
ACM
15 years 7 months ago
2010
ACM
Compiler and programming language implementation courses are integral parts of many computer science curricula. However, the range of topics necessary to teach in such a course ar...
121
Voted
TEI
2010
ACM
15 years 7 months ago
2010
ACM
Creativity, collaboration, and cultural understanding are becoming increasingly important in our workplace and society. As educators, we are therefore challenged to create new opp...
107
Voted
CCS
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we introduce a framework for secure two-party (S2P) computations, which we call bureaucratic computing, and we demonstrate its efficiency by designing practical S2P...
105
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
103
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...