2813 search results - page 170 / 563 » Design and Use of Technology Enhanced Learning Environments |
113
click to vote
WWW
2001
ACM
16 years 4 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
124
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
The process of design search and optimisation is characterised by its computationally intensive operations, which produce a problem well suited to Grid computing. Here we present a...
143
click to vote
TEI
2010
ACM
15 years 11 months ago
2010
ACM
Swing That Thing… is a practice-based doctoral research project that examines how technology in on and around the body might be used to poeticise experience. Outcomes include a ...
121
click to vote
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Control systems running on a computer are subject to timing disturbances coming from implementation constraints. Fortunately closed-loop systems behave robustly w.r.t. modelling e...
212
click to vote
Lecture Notes
VLSI (Very Large Scale Integration) CMOS (Complementary Metal Oxide Semiconductor) technology is the main driver of our digital revolution. The goals of these lecture are to learn ...