Álvaro F. Moreira

Learn More
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communication have several serious disadvantages as a foundation for communication in artificial agent systems. In particular, it has proved to be extremely difficult to give a satisfactory(More)
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent's architecture (in particular a BDI-like architecture) would be required in giving such semantics more rigorously. On the other hand, BDI agent-oriented programming languages have had their semantics(More)
Evolution and change in data management—issues and directions. JF Roddick A formal model for temporal schema versioning in object-oriented databases. A Query Language for a Versioned Object Oriented Database. Temporal and versioning model for schema evolution in object-oriented databases. Data Knowl. model space that consists of the semantic and the(More)
The concept of versioning was initially proposed for controlling design evolution on computer aided design and software engineering. On the context of database systems, versioning is applied for managing the evolution of different elements of the data. Modern database systems provide not only powerful data models but also complex query languages that have(More)
This paper characterizes how compiler optimizations impact software control-flow reliability when the optimized application is compiled with a technique to enable the software itself to detect and correct radiation induced soft-errors occurring in branches. Supported by a comprehensive fault injection campaign using an established benchmark suite in the(More)
and many others; see the Acknowledgements section for a full list. In the painting, there are two quotations from book VII of P. Ovidius Naso's Metamorphoses: " Nempe tenens, quod amo, gremioque in Iasonis haerens per freta longa ferar: nihil illum amplexa verebor " (verses 66–67), and " heros Aesonius potitur spolioque superbus muneris auctorem secum,(More)