9110 search results - page 483 / 1822 » Formally-Based Design Evaluation |
168
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Abstract In this paper we look at the potential of program specialization techniques in the context of visualization. In particular we look at partial evaluation and pass separatio...
193
click to vote
ITICSE
2010
ACM
15 years 7 months ago
2010
ACM
We present the curriculum, deployment, and initial evaluation of a course, BioCS1, designed to serve as CS1 and Biology1 for majors of either (or both) disciplines. Cotaught by pr...
159
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we present the design and evaluation of intrusion detection models for MANETs using supervised classification algorithms. Specifically, we evaluate the performance of...
145
click to vote
JFP
2008
15 years 6 months ago
2008
The historical design of the call-by-value theory of control relies on the reification of evaluation contexts as regular functions and on the use of ordinary term application for ...
151
Voted
TE
2010
15 years 1 months ago
2010
The paper presents a curriculum design for, and subsequent evaluation of, a communications systems course using problem-based learning (PBL) as the instructional methodology. It de...