4983 search results - page 277 / 997 » order 2008 |
159
click to vote
ENGL
2008
15 years 6 months ago
2008
- A new system of curriculum evaluation of formative assessment has been established in secondary education system in China for seven years. Attention has been given to teaching an...
170
click to vote
ENTCS
2008
15 years 6 months ago
2008
Defence trees are used to represent attack and defence strategies in security scenarios; the aim in such scenarios is to select the best set of countermeasures that are able to st...
141
click to vote
ENTCS
2008
15 years 6 months ago
2008
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
137
click to vote
ENTCS
2008
15 years 6 months ago
2008
There are several proposals for extending Prolog with functional capabilities. The basic idea is to enlarge the language with function definitions that are translated (or expanded...
162
Voted
ENTCS
2008
15 years 6 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...