Category Archives: 2010

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

Personalized TV Schedules


Whether you receive TV programmes through DVB-T, cable or satellite, you may be able to receive hundreds of channels with a wide variety of programs. Traditional program guides, whether printed in magazine form or on-line as a grid based program … Continue reading

Posted in 2010, 59 Motion pictures video and TV, 59.1 Motion pictures video and TV programmes, ECLiPSe, J Information and Communications, prototype, Scheduling | 1 Comment