Sciweavers

2024 search results - page 137 / 405
» A Formal Model of Multi-agent Computations
Sort
View
146
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
Specifying and Verifying Organizational Security Properties in First-Order Logic
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
Christoph Brandt, Jens Otten, Christoph Kreitz, Wo...
150
Voted
HICSS
2002
IEEE
116views Biometrics» more  HICSS 2002»
15 years 9 months ago
Multiagent Modeling and Simulation in Human-Robot Mission Operations Work System Design
This paper describes a collaborative multiagent modeling and simulation approach for designing work systems. The Brahms environment is used to model mission operations for a semi-...
Maarten Sierhuis, William J. Clancey, Michael H. S...
140
Voted
GD
2003
Springer
15 years 9 months ago
An Energy Model for Visual Graph Clustering
We introduce an energy model whose minimum energy drawings reveal the clusters of the drawn graph. Here a cluster is a set of nodes with many internal edges and few edges to nodes ...
Andreas Noack
COLLABORATION
1999
Springer
15 years 8 months ago
A Service-Oriented Negotiation Model between Autonomous Agents
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...
Carles Sierra, Peyman Faratin, Nicholas R. Jenning...
TPDS
1998
95views more  TPDS 1998»
15 years 3 months ago
Bound Performance Models of Heterogeneous Parallel Processing Systems
- Systems of heterogeneous parallel processing are studied such as arising in parallel programs executed on distributed systems. A lower and an upper bound model are suggested to o...
Simonetta Balsamo, Lorenzo Donatiello, Nico M. van...