467 search results - page 10 / 94 » Construction of E-learning Platform |
FM
2008
Springer
14 years 11 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
This paper describes a reusable pervasive information infrastructure developed as part of the Equator IRC, designed to allow the construction of literacy based eLearning activitie...
PVM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. In this work we present two algorithms of irregular scatter/gather operations based on the binomial tree and Tr¨aff algorithms. We use the prediction provided by hetero...
ICRA
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— In this paper we present a design study and technical specifications of a high performance robotic manipulator to be used for ball catching experiments using commercia...
IJRR
2008
14 years 9 months ago
2008
jr.sagepub.com/cgi/content/abstract/27/3-4/463 The online version of this article can be found at: Published by: http://www.sagepublications.com On behalf of: Multimedia Archives c...