2039 search results - page 314 / 408 » Teaching Standards to Engineers |
179
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
143
click to vote
CEAS
2005
Springer
16 years 1 days ago
2005
Springer
Implicit query systems examine a document and automatically conduct searches for the most relevant information. In this paper, we offer three contributions to implicit query resea...
150
click to vote
CHARME
2005
Springer
16 years 1 days ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
143
click to vote
EMSOFT
2005
Springer
16 years 1 days ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
176
click to vote
GECCO
2005
Springer
16 years 19 hour ago
2005
Springer
Genetic Algorithms (GAs) can efficiently produce high quality results for hard combinatorial real world problems such as the Vehicle Routing Problem (VRP). Genetic Vehicle Represe...