3504 search results - page 120 / 701 » Computational Aspects of Equilibria |
ICSE
2003
IEEE-ACM
14 years 11 months ago
2003
IEEE-ACM
This research has the main objective of presenting a study on the areas of Human-Computer Interaction (HCI) and Software Engineering (SE), focusing on the importance of integratin...
ADG
2006
Springer
14 years 5 months ago
2006
Springer
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
PADL
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
APSEC
1999
IEEE
14 years 3 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
CODES
1998
IEEE
14 years 3 months ago
1998
IEEE
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...