38 search results - page 2 / 8 » Static Name Control for FreshML |
CORR
2011
Springer
13 years 6 days ago
2011
Springer
Abstract— This paper investigates control laws allowing mobile, autonomous agents to optimally position themselves on the line for distributed sensing in a nonuniform field. We ...
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
TGC
2005
Springer
13 years 10 months ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
ROBOCOMM
2007
IEEE
13 years 11 months ago
2007
IEEE
— The objective of this paper is decentralized swarm aggregation with collision avoidance. Specifically, each agent is assigned with a control law which is the sum of two elemen...
CN
2007
13 years 5 months ago
2007
Efficient multicast congestion control (MCC) is one of the critical components required to enable the IP multicast deployment over the Internet. Previously proposed MCC schemes ca...