3271 search results - page 229 / 655 » Controlled Multicast Framework |
187
click to vote
WETICE
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we want to share our experiences with implementing a scheme that enforces role based access control in a distributed, heterogeneous computing environment. This work ...
172
click to vote
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distr...
189
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
174
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— A framework for the deployment of multiple autonomous robotic fish to achieve leader-following formations with Bezier trajectory is presented. Each follower robot estimates th...
185
click to vote
AAAI
2010
15 years 8 months ago
2010
Decentralized agent groups typically require complex mechanisms to accomplish coordinated tasks. In contrast, biological systems can achieve intelligent group behaviors with each ...