3271 search results - page 229 / 655 » Controlled Multicast Framework |
151
click to vote
WETICE
1997
IEEE
15 years 9 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 ...
128
click to vote
AADEBUG
1997
Springer
15 years 9 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...
146
click to vote
ETRICS
2006
15 years 8 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...
137
click to vote
CDC
2009
IEEE
15 years 8 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...
145
click to vote
AAAI
2010
15 years 6 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 ...