This report investigates the relationships between design patterns and programming languages. A comparison is carried out between the usual track of programming languages developme...
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...
We describe the ideas and methodologies that we developed in addressing the KDD Cup 2008 on early breast cancer detection, and discuss how they contributed to our success. The mos...
Claudia Perlich, Prem Melville, Yan Liu 0002, Grze...
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
This presents a study in which a high level abstract architecture was used to design open multi-agent systems and virtual organizations that offer services with temporal constraint...