Sciweavers

1559 search results - page 52 / 312
» Fundamentals of Generic Programming
Sort
View
CSEE
2009
Springer
16 years 18 days ago
Generic Skills in Software Engineering Master Thesis Projects: Towards Rubric-Based Evaluation
There has been much recent interest in how to help students in higher education develop their generic skills, especially since this is a focus of the Bologna process that aims to ...
Robert Feldt, Martin Höst, Frank Lüders
ASIACRYPT
2008
Springer
15 years 8 months ago
Sufficient Conditions for Intractability over Black-Box Groups: Generic Lower Bounds for Generalized DL and DH Problems
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...
Andy Rupp, Gregor Leander, Endre Bangerter, Alexan...
OOPSLA
1999
Springer
15 years 10 months ago
The Generic Graph Component Library
In this paper we present the Generic Graph Component Library (GGCL), a generic programming framework for graph data structures and graph algorithms. Following the theme of the Sta...
Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine
CORR
2008
Springer
137views Education» more  CORR 2008»
15 years 6 months ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur
WWW
2004
ACM
16 years 6 months ago
A generic uiml vocabulary for device- and modality independent user interfaces
We present in this poster our work on a User Interface Markup Language (UIML) vocabulary for the specification of device- and modality independent user interfaces. The work presen...
Rainer Simon, Michael Jank, Florian Wegscheider