222 search results - page 14 / 45 » Goal based agent-oriented software modeling |
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Simulation is frequently used for training in many application areas like aviation and economics, but not in software engineering. We present the SESAM project which focuses on so...
ICDE
2006
IEEE
14 years 1 months ago
2006
IEEE
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
ECBS
2010
IEEE
14 years 2 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
IPPS
2002
IEEE
14 years 14 days ago
2002
IEEE
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...
ESWA
2011
12 years 11 months ago
2011
This interdisciplinary research project focuses on relevant applications of Knowledge Discovery and Artificial Neural Networks in order to identify and analyse levels of country, b...