Sciweavers

835 search results - page 136 / 167
» Building Intelligent Robotics Systems with Distributed Compo...
Sort
View
KBSE
2005
IEEE
14 years 1 months ago
Secure sharing between untrusted users in a transparent source/binary deployment model
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
Eelco Dolstra
CIA
1998
Springer
13 years 12 months ago
Enhancing Mobile Agents with Electronic Commerce Capabilities
The paradigm of mobile agents offers a powerful and flexible ity to develop distributed applications on a high-level of abstraction. One of the most interesting tasks for mobile ag...
Hartmut Vogler, Marie-Luise Moschgath, Thomas Kunk...
INFSOF
2008
90views more  INFSOF 2008»
13 years 7 months ago
JADE: A software framework for developing multi-agent applications. Lessons learned
Since a number of years agent technology is considered one of the most innovative technologies for the development of distributed software systems. While not yet a mainstream appr...
Fabio Bellifemine, Giovanni Caire, Agostino Poggi,...
ATAL
2007
Springer
14 years 1 months ago
Periodic real-time resource allocation for teams of progressive processing agents
In this paper, we focus on the problem of finding a periodic allocation strategy for teams of resource-bounded agents. We propose a real-time dynamic algorithm RTDA , that exploi...
Jilles Steeve Dibangoye, Abdel-Illah Mouaddib, Bra...
TPHOL
2008
IEEE
14 years 2 months ago
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
Sayan Mitra, K. Mani Chandy