Sciweavers

489 search results - page 61 / 98
» Support tools for graphs in computer science
Sort
View
ITICSE
1999
ACM
15 years 5 months ago
A strategy for managing content complexity in algorithm animation
Computer animation is an excellent medium for capturing the dynamic nature of data structure manipulations, and can be used to advantage in the teaching of algorithms and data str...
Linda Stern, Harald Søndergaard, Lee Naish
ISW
2004
Springer
15 years 6 months ago
A Distributed High Assurance Reference Monitor
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...
Ajay Chander, Drew Dean, John C. Mitchell
SIGCSE
1998
ACM
125views Education» more  SIGCSE 1998»
15 years 5 months ago
Design patterns: an essential component of CS curricula
The field of software patterns has seen an explosion in interest in the last three years. Work to date has been on the recognition, cataloging, and finding of patterns with litt...
Owen L. Astrachan, W. Garrett Mitchener, Geoffrey ...
FOCS
2006
IEEE
15 years 7 months ago
On a Geometric Generalization of the Upper Bound Theorem
We prove an upper bound, tight up to a factor of 2, for the number of vertices of level at most in an arrangement of n halfspaces in Rd , for arbitrary n and d (in particular, the...
Uli Wagner
ITICSE
2003
ACM
15 years 6 months ago
HTTPExplorer: exploring the hypertext transfer protocol
This paper presents HTTPExplorer, an interactive tool to explore the Hypertext Transfer Protocol. The intention is to use the tool in a course on web-based applications to support...
Volker Turau