Sciweavers

4166 search results - page 720 / 834
» Automating the constraining process
Sort
View
ATAL
2001
Springer
15 years 7 months ago
Optimal Negotiation Strategies for Agents with Incomplete Information
This paper analyzes the process of automated negotiation between two competitive agents that have firm deadlines and incomplete information about their opponent. Generally speaking...
S. Shaheen Fatima, Michael Wooldridge, Nicholas R....
CODES
2001
IEEE
15 years 7 months ago
Embedded UML: a merger of real-time UML and co-design
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...
Grant Martin, Luciano Lavagno, Jean Louis-Guerin
EDOC
2000
IEEE
15 years 7 months ago
Mapping Enterprise Events to the CORBA Notification Service
To satisfy the need for a wide range of enterprise modelling choices, it is necessary to have a rich set of processbased and role-based modelling concepts. It is also necessary to...
Shelby Abraham, Keith Duddy, Michael Lawley, Zoran...
FPL
2000
Springer
128views Hardware» more  FPL 2000»
15 years 7 months ago
Verification of Dynamically Reconfigurable Logic
This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standa...
David Robinson, Patrick Lysaght
136
Voted
GECCO
2000
Springer
182views Optimization» more  GECCO 2000»
15 years 7 months ago
A Novel Evolvable Hardware Framework for the Evolution of High Performance Digital Circuits
This paper presents a novel evolvable hardware framework for the automated design of digital circuits for high performance applications. The technique evolves circuits correspondi...
Ben I. Hounsell, Tughrul Arslan