2114 search results - page 103 / 423 » A model of cooperative threads |
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
—The fields of autonomous robotics and ambient intelligence are converging toward the vision of smart robotic environments, in which tasks are performed via the cooperation of m...
TASE
2007
IEEE
14 years 3 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
ECAL
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we describe a model in which artificial evolution is employed to design neural mechanisms that control the motion of two autonomous robots required to communicate th...
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we present our research results about a UML-based modeling language dedicated to Problem-Based Learning design. The CPM (Cooperative Problem-Based learning Metamode...
ICCNMC
2005
Springer
14 years 2 months ago
2005
Springer
Transcoding proxy caching is an important technology for improving the services over Internet, especially in the environment of mobile computing systems. In this paper, we address ...