1227 search results - page 142 / 246 » A Programming Model for Time-Synchronized Distributed Real-T... |
133
Voted
SIGADA
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
136
click to vote
APSEC
1996
IEEE
15 years 6 months ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
122
click to vote
CLIMA
2010
15 years 4 months ago
2010
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
104
Voted
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
130
Voted
SIGADA
2004
Springer
15 years 8 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...