Adomas Svirskas, Michael Wilson, Brian Matthews, Alvaro Arenas, Damian Mac R, Julian Gallop, ...
Any protocols for loosely coupled, open web services must support both fast performance and scalability to very large numbers of services and service interactions. Service discovery, composition, and...
Modelling Security Properties in a Grid-based Operating System with Anti-Goals (2008)
Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews, Erica Y. Yang
In this paper, we discuss the use of formal requirementsengineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to represent two security...
A Framework for Experience Management in e- Government: The Pellucid Project (2008)
Simon Lambert, Alvaro Arenas, Sabine Delaitre, José Mena Raposo, Marta Majewska, Krzysztof Krawczyk, ...
Abstract. The Pellucid project is developing an adaptable and customisable platform for enabling experience management in public organisations. Starting with a study of the three pilot applications,...
Managing Conflicts of Interest in Virtual Organisations (2008)
Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews
In this paper, we present a formal model of virtual organisations that incorporates the concept of conflicts of interest. The model, which follows an incremental development approach using Event-B,...
26 A Semantic Web Approach to Experience Management (2008)
In Public Organisations, Simon Lambert, Alvaro Arenas, Alistair Miles
Abstract. The Pellucid project is developing a customisable platform for experience management in public organisations. This paper introduces the Pellucid model of experience management, relates it...
Security Requirements Model for Grid Data Management Systems (2008)
Abstract. In this paper, we present our ongoing work of a policy-driven approach to security requirements of grid data management systems (GDMS). We analyse the security functionalities of existing...
The FMICS View on the Verified Software Repository (2008)
Alvaro Arenas, Juan Bicarregui, Tiziana Margaria
ABSTRACT: An important step in meeting the Verifying Compiler Grand Challenge is the Verified Software Repository. In the FMICS view, the repository should include proven correct software and tools...
Security Requirements Elaborations for Grid Data Management Systems (2008)
Syed Naqvi, Christophe Ponsard, Alvaro Arenas
In this paper, we present a goal-oriented approach to design policies for managing security requirements of critical information infrastructures (CII). The approach, adapted from a standard and...
Developing Secure Chemical Programs with Aspects (2008)
Arenas, Alvaro, Banâtre, Jean-Pierre, Priol, Thierry
This paper studies security engineering of distributed systems when following the chemical-programming paradigm, represented here by the High-Order Chemical Language (HOCL). We have analysed how to...
Developing Secure Chemical Programs with Aspects (2008)
Arenas, Alvaro, Banâtre, Jean-Pierre, Priol, Thierry
This paper studies security engineering of distributed systems when following the chemical-programming paradigm, represented here by the High-Order Chemical Language (HOCL). We have analysed how to...
Towards a Knowledge Grid: Requirements for a GridOS to Support the Next Generation Grid (2005)
Brian Matthews, Alvaro Arenas, Michael Wilson, Damian Mac R, Adomas Svirskas, Julian Gallop, ...
CCLRC is a UK civil research laboratory which provides large scale facilities to the international scientific community – mainly university based, although also used by industry. Current and...
Experiencia en estudios de SPECT de perfusión miocárdica en población pediátrica. (2004)
Massardo, Teresa., Coll, Claudia., Prat, Hernán., Miranda, Karina., Gutiérrez, Daniela., Arenas, Alvaro., ...
Year 7, Number 26, October 2004 Experiencia en estudios de SPECT de perfusión miocárdica en población pediátrica.Article N° AJ26-3 ResumenLos estudios isotópicos cardíacos en niños tienen...
The FACS FACTS Team Newsletter Editor Paul Boca [ (2004)
Editorial Team, Jonathan Bowen, Judith Carlton, John Cooke, Kevin Lano, Mike Stannett, ...
FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist
BLDSC reference no.: D213833.