Sciweavers

277 search results - page 9 / 56
» Automated mechanism design for a self-interested designer
Sort
View
TELSYS
2002
126views more  TELSYS 2002»
14 years 10 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
SAC
2006
ACM
15 years 5 months ago
Implementing rule-based mechanisms for agent-based price negotiations
This note describes a sample implementation of automated negotiations in an e-commerce modeling multi-agent system. A specific set of rules is used for enforcing negotiation mech...
Costin Badica, Adriana Badita, Maria Ganzha
CL
1999
Springer
14 years 10 months ago
Compositional Petri net models of advanced tasking in Ada-95
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
GECCO
2008
Springer
180views Optimization» more  GECCO 2008»
15 years 1 days ago
Bond-graphs + genetic programming: analysis of an automatically synthesized rotary mechanical system
Initial results of an experiment devised to combine Bond-Graph modeling and simulation with genetic programming for automated design of a simple mechatronic system are reported in...
Saheeb Ahmed Kayani, Muhammad Afzaal Malik
SASO
2007
IEEE
15 years 5 months ago
Designing Self-Organising Emergent Systems based on Information Flows and Feedback-loops
For self-organising emergent solutions, there is no support to explicitly design system-wide information flows and feedback loops in those flows. This is problematic because the...
Tom De Wolf, Tom Holvoet