4120 search results - page 469 / 824 » Exploring ocean data |
130
click to vote
CSEE
2007
Springer
15 years 11 months ago
2007
Springer
This report illustrates the use of qualitative methods and an interpretive framework (Cultural Historical Activity Theory) to examine educational interventions. The techniques are...
115
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Data in object-oriented programming is organized in a hierarchy of classes. The problem of object-oriented pattern matching is how to explore this hierarchy from the outside. This ...
127
click to vote
FORMATS
2007
Springer
15 years 11 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
160
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
132
click to vote
GPC
2007
Springer
15 years 11 months ago
2007
Springer
A grid has to provide strong incentive for participating sites to join and stay in it. Participating sites are concerned with the performance improvement brought by the gird for th...