We consider interactions between atomic intentions and plan failures in the Jason BDI-based agent programming language. Atomic intentions allow the agent developer to control the execution of intentions in situations where a sequence of actions must be executed ‘atomically’ in order to ensure the success of a plan. However, while atomic intentions in Jason enforce mutual exclusion, they are not...

MAS research pushes the notion of openness related to systems combining heterogeneous computational entities. Typically, those entities answer to different purposes and functions and their integration is a crucial issue. Starting from a comprehensive approach in developing agents, organizations and environments, this paper devises an integrated approach and describes a unifying programming mode...

An algorithm for the retrieval of surface wind speed from Ku-band altimeter backscatter coefficient is proposed. The algorithm was derived using two-month worth of ENVISAT altimeter backscatter data collocated with ECMWF model and buoy wind speeds. The algorithm was extensively verified for ENVISAT, ERS2 and Jason-1 altimeters. The algorithm performance is better than the “modified Chelton-Went...

Peer review lies at the core of current scientific research. It is composed of a set of social norms, practices and processes that connect the abstract scientific method with the society of people that apply the method. As a social construct, peer review should be understood by building theory-informed models and comparing them with data collection. Both these activities are evolving in the era...

Software architectures evolve as the result of numerous, interrelated design decisions. At any point in an architecture's evolution, current decisions can critically affect alternatives at later stages, and each decision has the potential of requiring previous decisions to be reconsidered. Analysis techniques that provide feedback only after " complete " sequences of design decisions have been ...

In this paper we describe the Secure Method Invocation (SMI) framework implemented for Jason, our Javacard As Secure Objects Networks platform. Jason realises the secure object store paradigm, that reconciles the card-as-storage-element and card-as-processing-element views. In this paradigm, smart cards are viewed as secure containers for objects, whose methods can be called straightforwardly a...