CombInduce is a methodology for inductive synthesis of logic programs, which employs a reversible meta-interpreter for synthesis, and uses a compositional relational target language for efficient synthesis of recursive predicates. The target language, Combilog, has reduced usability due to the lack of variables, a feature enforced by the principle of compositionality, which is at the core of th...

The contractual approach turns out to be well-suited to specification and verification needs in component-based software systems. However, contracts are frequently challenged by dynamic re-configurations and fluctuations of non functional aspects. To solve this problem, we propose, in this article, a first negotiation model which aims at automatically restoring the validity of contracts. We als...

This paper describes and evaluates three methods for coordinating multiple agents. These agents interact in two ways. First, they are able to work together to achieve a common pool of goals which would require greater time to achieve by any one of the agents operating independently. Second, the agents share resources that are required by the actions needed to accomplish the goals. The first coo...

The ability to discover services is the major prerequisite for effective usability of MANETs. Group-based Service Discovery (GSD) protocol is a typical service discovery protocol for MANETs. However, because of large redundant packet transmissions, its packet overhead is high. In this paper, in light of GSD, we propose a new service discovery protocol for Mobile Ad-Hoc Networks (MANETs): Candid...

Money in the e-commerce network, represents information moving at the speed of light, where fraud (digital crime) within the banking and financial services happened very fast and can cost billions of dollars each year-undetected and unreported. In this paper I present a comprehensive framework that mines and detect fraudulent transactions of Card-NotPresent (CNP) in the e-payment systems with a...

This paper reports on work on a structural health monitoring system done for NASA at North Carolina A&T State University. The system combines a multiagent system as the "brains" and a workflow system as the "brawn." Agents here typically serve as proxies for techniques with intensive communication and computation requirements. Agents negotiate to determine a constellation of techniques for solv...

Service-Orientated Computing (SOC) has become a main trend in software engineering that promotes the construction of applications based on the notion of services. SOC has recently attracted the researchers’ attention and has been adopted industry-wide. However, service composition that enables one to aggregate existing services into a new composite service is still a highly complex and critical...

One important problem in communication protocol engineering is to predict and analyze the dynamic behavior of protocols. Chemical Networking Protocols (CNPs) – a recently proposed design method inspired by chemical reactions – offers the opportunity to transpose the good and well-understood analyzability of chemical reactions to networking protocols. In this paper, we provide a novel method to ...

We are interested in a job-shop scheduling problem corresponding to an industrial problem. Gantt diagram’s optimization can be considered as an NP-difficult problem. Determining an optimal solution is almost impossible, but trying to improve the current solution is a way of leading to a better allocation. The goal is to reduce the delay in an existing solution and to obtain better scheduling at...

German Version) Many-Core Systeme stellen die Forschung vor vielfältige neue Herausforderungen, darunter die Handhabung von sehr dynamischer und kaum voraussagbarer Rechenlast. Optimale Ressourcenverwaltung von Many-Core Systemen ist ein NP-vollständiges Problem. Die große Anzahl der zu verwaltenden Anwendungen und Kernen führt bei zentral agierenden Heuristiken, welche stets einen globalen Bli...