Sciweavers

403 search results - page 22 / 81
» A Constraint-Based Framework for Prototyping Distributed Vir...
Sort
View
DCAI
2008
13 years 9 months ago
The Intelligent Butler: A Virtual Agent for Disabled and Elderly People Assistance
Abstract. Social assistance constitutes an increasing problem in developed countries, which can be considered from two dimensions: the home and the hospital frameworks. Anyway, mos...
Gabriel Fiol-Roig, Diana Arellano, Francisco J. Pe...
SIGOPSE
1998
ACM
14 years 4 days ago
The PerDiS FS: a transactional file system for a distributed persistent store
Companies cooperating in the framework of a virtual enterprise have increasing demands for systems on which to base applications for their particular environment: groups of worker...
João Garcia, Paulo Ferreira, Paulo Guedes
IPPS
1999
IEEE
14 years 6 days ago
A Formal Framework for Specifying and Verifying Time Warp Optimizations
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
Victoria Chernyakhovsky, Peter Frey, Radharamanan ...
SIMPAR
2010
386views Robotics» more  SIMPAR 2010»
13 years 6 months ago
Virtual Robot Experimentation Platform V-REP: A Versatile 3D Robot Simulator
From exploring planets to cleaning homes, the reach and versatility of robotics is vast. The integration of actuation, sensing and control makes robotics systems powerful, but comp...
Marc Freese, Surya P. N. Singh, Fumio Ozaki, Nobut...
ECOOP
1998
Springer
14 years 4 days ago
Framework Design for End-to-End Optimization
Framework optimizations capitalize on object dependencies, while framework flexibility and composability demand object independence. This paper shows how to balance these conflicti...
Aamod Sane, Ashish Singhai, Roy H. Campbell