534 search results - page 57 / 107 » Agent-environment interaction in a multi-agent system: a for... |
DSRT
1999
IEEE
15 years 3 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
CASSIS
2004
Springer
15 years 4 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
ASM
2010
ASM
15 years 2 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
100
click to vote
WWW
2004
ACM
15 years 11 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
73
Voted
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...