Sciweavers

2088 search results - page 390 / 418
» The SPARK Agent Framework
Sort
View
WECWIS
2005
IEEE
143views ECommerce» more  WECWIS 2005»
15 years 7 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 7 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 7 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 7 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 7 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