508 search results - page 82 / 102 » What's the big idea |
ICSE
2001
IEEE-ACM
14 years 3 days ago
2001
IEEE-ACM
An emerging tapestry of computations will soon integrate systems around the globe. It will evolve without central control. Its complexity will be vast. We need new ideas, tools an...
ISORC
2000
IEEE
14 years 1 days ago
2000
IEEE
The Air Force has enthusiastically endorsed, at its most senior levels, advanced thinking with regard to the application of information technology. Recently, the notion of a Joint...
ITICSE
2000
ACM
14 years 21 hour ago
2000
ACM
We are concerned about a view in undergraduate computer science education, especially in the early courses, that it’s okay to be math-phobic and still prepare oneself to become ...
ENTCS
2006
13 years 7 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
JOT
2007
13 years 7 months ago
2007
All modern software development processes try to help project teams conduct their work. While there are some important differences between them, the commonalities are far greater ...