Monthly Archives: September 2010

Another Guest Post


Welcome to blog contributor Roberto Castañeda Lozano, whose post on Financial Markets, Random Testing and Constraint Programming describes a system he developed as part of his Master’s thesis (which won a prize by the Swedish AI Society this year). Two … Continue reading

Posted on by | Leave a comment

Financial Markets, Random Testing and Constraint Programming


Nowadays, all major financial markets use computer trading systems to support their trading activities. Because failures in these systems can cause serious economic damage, reliability is a top goal in their development. The complex functionality that trading systems deliver makes … Continue reading

Posted in 2010, 66 Auxiliary to Financial and Insurance Activities, 66.11 Administration of Financial Markets, CP Conference, K Financial and Insurance Activities | Tagged , , , | 1 Comment

Context-Sensitive Call Control using Constraints and Rules


Telecommunications services like instant messaging or internet telephony bring increased flexibility to communicate at home, in the office or on the move. Their pervasiveness is also a source of disruptions and intrusions. Service providers are therefore looking for personalisation solutions … Continue reading

Posted in 2008, 2010, 61 Telecommunications, 61.2 Wireless Telecommunications, Choco, CP Conference, ECAI, J Information and Communications, JAIR, Network, prototype | Leave a comment

Welcome to the First Guest Contribution


The next blog entry will be a guest contribution by Luis Quesda from 4C, who describes joint work with David Lesaint, Deepak Mehta, Barry O’ Sullivan and Nic Wilson on a prototype call control system developed by a joint project … Continue reading

Posted on by | Leave a comment