272 search results - page 25 / 55 » New directions in the introductory computer science curricul... |
LICS
2003
IEEE
14 years 1 months ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
SIGCSE
2002
ACM
13 years 7 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Radical change is needed in today’s organizations. While e-mail, instant messaging, wikis, prediction markets, and the like have proliferated across myriad sectors, the fundam...
COCO
2009
Springer
14 years 2 months ago
2009
Springer
—Consider the following Simultaneous Message Passing (SMP) model for computing a relation f ⊆ X ×Y ×Z. In this model Alice, on input x ∈ X and Bob, on input y ∈ Y, send o...
CAD
2006
Springer
13 years 8 months ago
2006
Springer
, and of course, you have the option to download any article straight to your desktop, depending on your access rights. Read more about how the TOP 25 is generated and what it refl...