Sciweavers

4139 search results - page 330 / 828
» Designing and Implementing Combinator Languages
Sort
View
RE
2010
Springer
15 years 1 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
ERCIMDL
2004
Springer
143views Education» more  ERCIMDL 2004»
15 years 10 months ago
Dynamic Digital Library Construction and Configuration
Abstract. This paper describes a digital library architecture and implementation that is configurable, extensible and dynamic in the way it presents content and in the services it ...
David Bainbridge, Katherine J. Don, George Buchana...
177
Voted
SIGCSE
2008
ACM
126views Education» more  SIGCSE 2008»
15 years 7 months ago
Game-themed programming assignments: the faculty perspective
We have designed and implemented game-themed programming assignment modules targeted specifically for adoption in existing introductory programming classes. These assignments are ...
Kelvin Sung, Michael Panitz, Scott A. Wallace, Rut...
ICFP
2006
ACM
16 years 7 months ago
Extensible programming with first-class cases
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
Matthias Blume, Umut A. Acar, Wonseok Chae
GD
2003
Springer
16 years 6 days ago
Intersection-Free Morphing of Planar Graphs
Given two different drawings of a planar graph we consider the problem of morphing one drawing into the other. We designed and implemented an algorithm for intersection-free morph...
Cesim Erten, Stephen G. Kobourov, Chandan Pitta