Sciweavers

277 search results - page 9 / 56
» Automated mechanism design for a self-interested designer
Sort
View
TELSYS
2002
126views more  TELSYS 2002»
13 years 7 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
14 years 1 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
13 years 7 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»
13 years 9 months 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
14 years 2 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