1675 search results - page 107 / 335 » Some thoughts on teaching programming and programming langua... |
138
click to vote
SIGADA
1997
Springer
15 years 8 months ago
1997
Springer
All students attending the U.S. Air Force Academy are required to take an introductory course in computer science. Last year we transitioned to Ada in this course. In this paper w...
154
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
141
click to vote
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
We consider an extension of the guarded fragment in which one can guard quanti ers using the transitive closure of some binary relations. The obtained logic captures the guarded fr...
141
click to vote
IFIP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this article we identify security threats and requirements for software agent systems in the context of an electronic market. A short description of our own agent syst...
125
click to vote
ICALP
2009
Springer
15 years 8 months ago
2009
Springer
Intuitively, Braess's paradox states that destroying a part of a network may improve the common latency of selfish flows at Nash equilibrium. Such a paradox is a pervasive phe...