1681 search results - page 127 / 337 » Formal Design of Distributed Control Systems with Lustre |
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
100
click to vote
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
In recent years, some computer vision algorithms such as SIFT (Scale Invariant Feature Transform) have been employed in image similarity match to perform image-based search applic...
RTSS
1997
IEEE
15 years 2 months ago
1997
IEEE
In [6], we proposed a new commit protocol, OPT, specially designed for use in distributed firm-deadline real-time database systems. OPT allows transactions to “optimistically...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
Having reliable security in systems is of the utmost importance. However, the existing framework of writing, distributing and linking against code in the form of libraries and/or ...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We present an organisation infrastructure for open MultiAgent Systems built upon a role-based access control model (RBAC), which provides agents with means to enable and control a...