1676 search results - page 199 / 336 » Formal Development of Self-organising Systems |
164
click to vote
PLDI
2009
ACM
16 years 1 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...
203
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...
174
click to vote
QEST
2007
IEEE
16 years 27 days 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. ...
184
click to vote
AIED
2007
Springer
16 years 25 days 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...
153
click to vote
HYBRID
2007
Springer
16 years 24 days 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...