9806 search results - page 327 / 1962 » Engineering adaptive requirements |
165
Voted
CSEE
2009
Springer
16 years 1 months ago
2009
Springer
Student-centred learning implies an increased degree of responsibility in the learning context by the student, and an equally increased level of delegation by the teacher. This pa...
183
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
290
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
201
Voted
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
In [12] we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. In this demo we show how this architecture is le...
164
click to vote
INFOCOM
2006
IEEE
16 years 22 days ago
2006
IEEE
- Rapid progress in deployment of national and regional optical network infrastructures holds the promise to provide abundant, inexpensive bandwidth to scientific communities. The ...