190 search results - page 32 / 38 » Dynamic Control Operators in Type Theory |
NOSSDAV
2009
Springer
14 years 1 months ago
2009
Springer
This article proposes a new distributed architecture for update message exchange in massively multi-user virtual environments (MMVE). MMVE applications require delivery of updates...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper presents a self-localization strategy for a team of heterogenous mobile robots, including ground mobile robots of various sizes and wall-climbing robots. These robot...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
AGENTS
2000
Springer
13 years 11 months ago
2000
Springer
This paper attempts to articulate the general role of infrastructure for multi-agent systems (MAS), and why infrastructure is a particularly critical issue if we are to increase th...
WSC
1994
13 years 8 months ago
1994
Stroboscope is a programming language designed for the simulation of processes common to construction engineering. These processes are very complex and involve many different type...