Sciweavers

2088 search results - page 390 / 418
» The SPARK Agent Framework
Sort
View
WECWIS
2005
IEEE
143views ECommerce» more  WECWIS 2005»
15 years 11 months ago
A Groves Mechanism Approach to Decentralized Design of Supply Chains
In this paper, a generic optimization problem arising in supply chain design is modeled in a game theoretic framework and solved as a decentralized problem using a mechanism desig...
Dinesh Garg, Yadati Narahari, Earnest Foster, Deva...
WETICE
2005
IEEE
15 years 11 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
ACMACE
2005
ACM
15 years 11 months ago
Integrate and conquer: the next generation of intelligent avatars
FreeWill+ is a framework that aims at integrating various animation techniques for controlling human-like characters. With heterogeneity and multi-layering as its main design prin...
Jaroslaw Francik, Adam Szarowicz
ATAL
2005
Springer
15 years 11 months ago
Multi-agent concepts as basis for dynamic plug-in software architectures
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri net-based MAS framework Mulan. By transferring the conce...
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, H...
ATAL
2005
Springer
15 years 11 months ago
T-Man: Gossip-Based Overlay Topology Management
Overlay topology plays an important role in P2P systems. Topology serves as a basis for achieving functions such as routing, searching and information dissemination, and it has a m...
Márk Jelasity, Özalp Babaoglu