1676 search results - page 199 / 336 » Formal Development of Self-organising Systems |
191
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
225
click to vote
DIGITEL
2008
IEEE
16 years 1 months ago
2008
IEEE
We present progress with roBlocks, a reconfigurable modular robotic system for education. Children snap together small, magnetic, heterogeneous modules to create larger, more comp...
197
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
206
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...
171
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...