Search

Your search keyword '"Computing Department [Lancaster]"' showing total 73 results
Start Over Author "Computing Department [Lancaster]"
73 results on '"Computing Department [Lancaster]"'

51. Adaptive virtual network provisioning

Author

Djamal Zeghlache, Laurent Mathy, Panagiotis Papadimitriou, Ines Houidi, Wajdi Louati, Département Réseaux et Services Multimédia Mobiles (RS2M), Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP), Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR), Centre National de la Recherche Scientifique (CNRS), Réseaux, Systèmes, Services, Sécurité (R3S-SAMOVAR), Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP)-Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP), Computing Department [Lancaster], and Lancaster University

Subjects
Computer science, business.industry, Distributed computing, 05 social sciences, Network virtualization, 050801 communication & media studies, 020206 networking & telecommunications, Provisioning, Thin provisioning, 02 engineering and technology, Network topology, Extensibility, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Virtual network provisioning, 0508 media and communications, Elasticity (cloud computing), Fault-tolerant embedding, On demand, 0202 electrical engineering, electronic engineering, information engineering, business, Virtual network, Computer network
Abstract

International audience; In the future, virtual networks will be allocated, maintained and managed much like clouds offering flexibility, extensibility and elasticity with resources acquired for a limited time and even on a lease basis. Adaptive provisioning is required to maintain virtual network topologies, comply with established contracts, expand initial allocations on demand, release resources no longer useful, optimise resource utilisation and respond to anomalies, faults and evolving demands. In this paper, we elaborate on adaptive virtual resource provisioning to maintain virtual networks, allocated initially on demand, in response to a virtual network creation request. We propose a distributed fault-tolerant embedding algorithm, which relies on substrate node agents to cope with failures and severe performance degradation. This algorithm coupled with dynamic resource binding is integrated and evaluated within a medium-scale experimental infrastructure

Published
2010
Full Text
View/download PDF

52. Revisiting the Middleware Paradigm: On-the-fly Interoperability in Highly Complex Distributed Systems

Author

Bennaceur, Amel, Blair, Gordon, Georgantas, Nikolaos, Grace, Paul, Inverardi, Paola, Issarny, Valérie, Pathak, Animesh, Saadi, Rachid, Spalazzese, Romina, Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Computing Department [Lancaster], Lancaster University, InfoLab21, Dipartimento di Informatica [Italy] (DI), Università degli Studi dell'Aquila (UNIVAQ), European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009), and Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ)

Subjects
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Abstract

Distributed systems are becoming increasingly complex. We are moving from a world where we provide domain-specic middleware platforms (e.g., for Enterprise systems, Grid, MANET, ubiquitous environments) to one where these technology-dependent islands are themselves dynamically composed and connected together to create richer, dynamically deployed systems. Existing middleware approaches and paradigms are simply unable to cope with the demands of such heterogeneous and dynamic environments. Indeed, as we move towards a world of systems of systems, we can say that middleware is in crisis, being unable to deliver on its most central promises, which is oering interoperability, i.e., the ability of one or more systems to connect, understand and exchange data with one another.We argue that this requires a fundamental re-think of the architectural principles and techniques underpinning middleware platforms. We need to turn from relatively static solutions based on promoting a particular interoperability solution or bridging strategy, to much more dynamic solutions where we generate appropriate machinery for interoperability on the fly. This promotes an approach that may be termed emergent middleware designed to solve interoperability at runtime according to what is discovered and needed in a given context. This paper reports on the results of the Connect project, a collaborative initiative bringing together experts in middleware and software engineering, semantic modeling of services, and formal foundations of distributed systems, which together provide key building blocks for enabling emergent middleware.

Published
2010

53. Emergent middleware: rethinking interoperability for complex pervasive systems

Author

Grace, Paul, Flores, Carlos, Blair, Gordon, Computing Department [Lancaster], Lancaster University, InfoLab21, European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009), Grace, Paul, and Emergent Connectors for Eternal Software Intensive Networked Systems - CONNECT - - EC:FP7:ICT2009-02-01 - 2012-11-30 - 231167 - VALID

Subjects
[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], [INFO.INFO-GT] Computer Science [cs]/Computer Science and Game Theory [cs.GT]
Abstract

International audience; Complex systems are characterized by extreme heterogeneity and dynamic composition, and hence pose significant challenges to achieve interoperability. For example, where multiple middleware solutions and protocols are employed, these must be connected in order for applications to operate. We propose a new approach to interoperability that focuses of monitoring, learning and synthesis of middleware behaviour.

Published
2009

54. A component-based approach for (Re)-configurable routing in VANETs

Author

Gordon S. Blair, Vatsala Nundloll, Paul Grace, Computing Department [Lancaster], Lancaster University, InfoLab21, and European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009)

Subjects
Routing protocol, Dynamic Source Routing, Zone Routing Protocol, Static routing, [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], Computer science, business.industry, Distributed computing, Enhanced Interior Gateway Routing Protocol, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, Wireless Routing Protocol, 020302 automobile design & engineering, 020206 networking & telecommunications, ComputerApplications_COMPUTERSINOTHERSYSTEMS, 02 engineering and technology, 0203 mechanical engineering, Link-state routing protocol, Interior gateway protocol, 0202 electrical engineering, electronic engineering, information engineering, business, Computer network
Abstract

International audience; With the increasing capability of vehicular communications technology, VANETs (Vehicular Ad-Hoc Networks) have witnessed significant development. Many VANET routing protocols have been proposed and operate well in the specific network they have been developed for such as dense or sparse networks but tend not to operate well or interoperate with different networks. This is a challenging requirement and we address this issue by proposing a (re-)configurable implementation that can adjust the behaviour of the protocol to different operating environments and application requirements. One possible way of achieving this is through a component-based architecture consisting of re-usable components that can be plugged in and out of the system. The paper illustrates how this componentization process can be carried out and how the given architecture is then configured to suit varying network states. The paper also identifies commonalities that exist across different routing protocols, leading up to the design of a generic component-based platform which can be used for VANET routing protocol development.

Published
2009
Full Text
View/download PDF

55. Commutation de paquets logicielle sur routeurs PC multi-coeurs

Author

Egi, Norbert, Greenhalgh, Adam, Handley, Marc, Hoerdt, Mickael, Huici, Felipe, Mathy, Laurent, Papadimitriou, Panagiotis, Computing Department [Lancaster], Lancaster University, Department of Computer Science, University College of London [London] (UCL), and Festor, Olivier

Subjects
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI]
Abstract

International audience; Les processeurs multi-coeurs sur PC, en même temps que les progrès récents sur la performance de la mémoire et des bus, suggèrent un candidat idéal pour la construction d'architectures de routeurs purement logicielles qui soient flexibles et en même temps performantes. Dans cet article, nous présentons une architec- ture de commutation de paquets pour les routeurs logiciels ou virtuels dont l'objectif principal est de prévenir des accès mémoire coûteux tout en utilisant les ressources CPU disponibles au mieux pour traiter et commuter les paquets. Nous présentons premièrement le principe d'arbre de commutation dont la fonction est de gar- der les paquets commutés dans la même hiérarchie de cache du processeur. Nous identifions ensuite la source de contention principale des performances de commutation comme l'accès concurrent aux interfaces de sorties puis analysons les gains potentiels de performance en utilisant un verrou sur les interfaces de sortie ainsi qu'un mécanisme de retour sur l'état des queues du routeur. Finalement, nous proposons et évaluons une modification des arbres de commutation qui permet de contourner la contention due au partage des interfaces de sortie par les arbres.

Published
2009

56. From Mobility to Ubiquity and Beyond: Challenges to Middleware

Author

Blair, Gordon, Computing Department [Lancaster], Lancaster University, InfoLab21, European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009), Grousset, Emmanuelle, and Emergent Connectors for Eternal Software Intensive Networked Systems - CONNECT - - EC:FP7:ICT2009-02-01 - 2012-11-30 - 231167 - VALID

Subjects
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, [INFO.INFO-IU] Computer Science [cs]/Ubiquitous Computing, GeneralLiterature_MISCELLANEOUS
Abstract

keynote presentation at ACM Mobility 09 in Sophia Antipolis, France; International audience; Keynote presentation at ACM Mobility 09 in Sophia Antipolis, France Context for this talk: design of middleware Middleware: - Offering a suitable programming abstraction - Masking out complexity, including heterogeneity - Offering interoperability, portability and E2E QoS

Published
2009

57. Certified Internet Coordinates

Author

Mohamed Ali Kaafar, Walid Dabbous, Thierry Turletti, Kave Salamatian, Chadi Barakat, Laurent Mathy, Protocols and applications for the Internet (PLANETE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria), Computing Department [Lancaster], Lancaster University, Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance (LISTIC), and Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])

Subjects
Internet, Theoretical computer science, business.industry, Computer science, Coordinate system, Testing, 020206 networking & telecommunications, 02 engineering and technology, Network servers, Distributed computing, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Delay estimation, Web server, Node (computer science), 0202 electrical engineering, electronic engineering, information engineering, Embedding, 020201 artificial intelligence & image processing, The Internet, Extraterrestrial measurements, business, Algorithm, Distance measurement, Embedded computing, Weibull distribution, Coordinate measuring machines
Abstract

International audience; We address the issue of asserting the accuracy of coordinates advertised by nodes of Internet coordinate systems during distance estimations. Indeed, some nodes may lie deliberately about their coordinates to mount various attacks against applications and overlays. Our proposed method consists in two steps: 1) establish the correctness of a node's claimed coordinate (which leverages our previous work on securing the coordinates embedding phase using a Surveyor infrastructure); and 2) issue a time limited validity certificate for each verified coordinate. Validity periods are computed based on an analysis of coordinate inter-shift times observed on PlanetLab, and shown to follow a long-tail distribution (lognormal distribution in most cases, or Weibull distribution otherwise). The effectiveness of the coordinate certification method is validated by measuring the impact of a variety of attacks on distance estimates.

Published
2009

58. CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems

Author

Massimo Tivoli, Bengt Jonsson, Gordon S. Blair, Bernhard Steffen, Paola Inverardi, Marta Kwiatkowska, Paul Grace, Radu Calinescu, Antonia Bertolino, Antonino Sabetta, Valérie Issarny, Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Computer Science Department [Dortmund], Technische Universität Dortmund [Dortmund] (TU), Uppsala University, Computing Department [Lancaster], Lancaster University, Computing Science Laboratory - Oxford University, University of Oxford [Oxford], University of L'Aquila [Italy] (UNIVAQ), Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009), University of Oxford, CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), and National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR)

Subjects
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, Monitoring, Computer science, On the fly, Interoperability, system synthesis, interoperability, 02 engineering and technology, computer.software_genre, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, Software, middleware, 0202 electrical engineering, electronic engineering, information engineering, Connector, Connect, software architecture, Connector synthesis, business.industry, Quality of service, 020207 software engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, Automaton, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, Embedded software, behavior learning, Automated learning, Middleware (distributed applications), quality of service, 020201 artificial intelligence & image processing, Telecommunications, business, Software architecture, Software engineering, computer
Abstract

International audience; The CONNECT European project that started in February 2009 aims at dropping the interoperability barrier faced by today's distributed systems. It does so by adopting a revolutionary approach to the seamless networking of digital systems, that is, synthesizing on the fly the connectors via which networked systems communicate. CONNECT investigates formal foundations for connectors together with associated automated support for learning, reasoning about and adapting the interaction behavior of networked systems.

Published
2009
Full Text
View/download PDF

59. Modeling and Validating Dynamic Adaptation

Author

Jean-Marc Jézéquel, Nelly Bencomo, Franck Fleurey, Brice Morin, Vegard Dehlen, Reliable and efficient component based software engineering (TRISKELL), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Stiftelsen for INdustriell og TEknisk Forskning Digital [Trondheim] (SINTEF Digital), Computing Department [Lancaster], Lancaster University, Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique

Subjects
Architecture model, Computer science, Distributed computing, Real-time computing, Service discovery, 020207 software engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, System configuration, Base (topology), User agent, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Adaptation (computer science), Computer Science::Operating Systems, Invariant (computer science)
Abstract

International audience; This paper discusses preliminary work on modeling and validation dynamic adaptation. The proposed approach is on the use of aspect-oriented modeling (AOM) and models at runtime. Our approach covers design and runtime phases. At design-time, a base model and different variant architecture models are designed and the adaptation model is built. Crucially, the adaptation model includes invariant properties and constraints that allow the validation of the adaptation rules before execution. During runtime, the adaptation model is processed to produce a correct system configuration that can be executed.

Published
2009
Full Text
View/download PDF

60. FSE16 Foundation of Software Engineering

Author

Garcia, Alessandro, Dony, Christophe, Kienzle, Jörg, Romanovsky, Alexander B., Computing Department [Lancaster], Lancaster University, Models And Reuse Engineering, Languages (MAREL), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), School of Computer Science [Montréal], and McGill University = Université McGill [Montréal, Canada]

Subjects
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
2008

61. AMPLE : Supporting Product Line Engineering through Synthesis of Aspect-Oriented and Model-Driven Development

Author

Rashid, Awais, Moreira, Ana, Araujo, Joao, Mezini, Mira, Fuentes, Lidia, Royer, Jean-Claude, Rummler, Andreas, Pohl, Christoph, Schwanninger, Christa, Computing Department [Lancaster], Lancaster University, Faculdade de Ciências e Tecnologia = School of Science & Technology (FCT NOVA), Universidade Nova de Lisboa = NOVA University Lisbon (NOVA), Software Technology Group [Darmstadt], Technische Universität Darmstadt - Technical University of Darmstadt (TU Darmstadt), Departamento Lenguajes y Ciencias de la Computación [Malaga] (LCC), Universidad de Málaga [Málaga] = University of Málaga [Málaga], Objects, aspects and components (OBASCO), Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), SAP Research [Dresden], Technische Universität Dresden = Dresden University of Technology (TU Dresden), Software and System Architectures (Siemens AG Corporate Technology), Siemens AG [Munich], and Technische Universität Darmstadt (TU Darmstadt)

Subjects
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
2008

62. Proceedings of the Int. Workshop on Aspects, Dependencies and Interactions (ADI'07)

Author

Sanen, Frans, Chitchyan, Ruzanna, Bergmans, Lodewijk, Fabry, Johan, Südholt, Mario, Mehner, Katharina, Distributed Systems and Computer Networks (DistriNet), Catholic University of Leuven - Katholieke Universiteit Leuven (KU Leuven), Computing Department [Lancaster], Lancaster University, Twente Research and Education on Software Engineering (TRESE), University of Twente, Software Languages Lab (SLL), Vrije Universiteit Brussel (VUB), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Objects, aspects and components (OBASCO), Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Siemens Corporate Research, Siemens AG [Munich], University of Twente [Netherlands], and Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN)

Subjects
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Published
2008
Full Text
View/download PDF

63. An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability

Author

Arnor Solberg, Vegard Dehlen, Gordon S. Blair, Brice Morin, Nelly Bencomo, Franck Fleurey, Jean-Marc Jézéquel, Reliable and efficient component based software engineering (TRISKELL), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Stiftelsen for INdustriell og TEknisk Forskning Digital [Trondheim] (SINTEF Digital), Computing Department [Lancaster], Lancaster University, InfoLab21, Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique

Subjects
Service (systems architecture), Computer science, Aspect-oriented programming, Distributed computing, Service discovery, Control reconfiguration, 020207 software engineering, Context (language use), 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Adaptive system, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Adaptation (computer science), Combinatorial explosion
Abstract

International audience; Constructing and executing distributed systems that can adapt to their operating context in order to sustain provided services and the service qualities are complex tasks. Managing adaptation of multiple, interacting services is particularly difficult since these services tend to be distributed across the system, interdependent and sometimes tangled with other services. Furthermore, the exponential growth of the number of potential system configurations derived from the variabilities of each service need to be handled. Current practices of writing low-level reconfiguration scripts as part of the system code to handle run time adaptation are both error prone and time consuming and make adaptive systems difficult to validate and evolve. In this paper, we propose to combine model driven and aspect oriented techniques to better cope with the complexities of adaptive systems construction and execution, and to handle the problem of exponential growth of the number of possible configurations. Combining these techniques allows us to use high level domain abstractions, simplify the representation of variants and limit the problem pertaining to the combinatorial explosion of possible configurations. In our approach we also use models at runtime to generate the adaptation logic by comparing the current configuration of the system to a composed model representing the configuration we want to reach.

Published
2008

64. Securing the distance Estimation phase of Internet Coordinate systems

Author

Kaafar, Mohamed Ali, Mathy, Laurent, Barakat, Chadi, Salamatian, Kavé, Turletti, Thierry, Dabbous, Walid, Protocols and applications for the Internet (PLANETE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria), Computing Department [Lancaster], Lancaster University, and Université Pierre et Marie Curie - Paris 6 (UPMC)

Subjects
Internet Coordinates, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Experimentations, certification, Measurements, security, reliability theory
Abstract

We address the issue of asserting the accuracy of Internet coordinates advertised by nodes of Internet coordinate systems during distance estimations. Indeed, some nodes may even lie deliberately about their coordinates to mount various attacks against applications and overlays. Our proposed method consists in two steps: 1) establish the correctness of a node's claimed coordinate by using the Surveyor infrastructure and malicious embedding neighbor detection proposed in our previous work on securing the coordinates embedding phase; and 2) issue a time limited validity certificate for each verified coordinate. Validity periods are computed based on an analysis of coordinate inter-shift times observed by Surveyors. By doing this, each surveyor can estimate the time until the next shift and thus, can limit the validity of the certificate it issues to regular nodes for their calculated coordinates. Our method is illustrated on a trace collected from a Vivaldi system deployed on PlanetLab, where inter-shift times are shown to follow long-tail distribution (lognormal distribution in most cases, or Weibull distribution otherwise). We validate the effectiveness of our method by measuring the impact of a variety of attacks on distance estimates.

Published
2007

65. Securing Internet Coordinate System: Embedding Phase

Author

Kaafar, Mohamed Ali, Mathy, Laurent, Barakat, Chadi, Salamatian, Kavé, Turletti, Thierry, Dabbous, Walid, Protocols and applications for the Internet (PLANETE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria), Computing Department [Lancaster], Lancaster University, and Université Pierre et Marie Curie - Paris 6 (UPMC)

Subjects
Malicious behavior Detection, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Overlay Networks, Security, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.0: General/C.2.0.2: Security and protection (e.g., firewalls), Internet coordinates Embedding Systems, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.1: Network Architecture and Design/C.2.1.6: Network communications, Internet coordinates Embedding Systems, Malicious behavior Detection, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.1: Network Architecture and Design/C.2.1.7: Network topology, Kalman Filter
Abstract

This paper addresses the issue of the security of Internet Coordinate Systems, by proposing a general method for malicious behavior detection during coordinate computations. We first show that the dynamics of a node, in a coordinate system without abnormal or malicious behavior, can be modeled by a Linear State Space model and tracked by a Kalman filter. Then we show, that the obtained model can be generalized in the sense that the parameters of a filter calibrated at a node can be used effectively to model and predict the dynamic behavior at another node, as long as the two nodes are not too far apart in the network. This leads to the proposal of a Surveyor infrastructure: Surveyor nodes are trusted, honest nodes that use each other exclusively to position themselves in the coordinate space, and are therefore immune to malicious behavior in the system. During their own coordinate embedding, other nodes can then use the filter parameters of a nearby Surveyor as a representation of normal, clean system behavior to detect and filter out abnormal or malicious activity. A combination of simulations and Planet- Lab experiments are used to demonstrate the validity, generality, and effectiveness of the proposed approach for two representative coordinate embedding systems, namely Vivaldi and NPS.

Published
2007

66. A model curriculum for aspect-oriented software development

Author

Jacques Noyé, Johan Brichau, Awais Rashid, Ruzanna Chitchyan, Siobhán Clarke, M. Haupt, Ellie D'Hondt, Alessandro Garcia, Mario Südholt, Wouter Joosen, Shmuel Katz, Centre Leo Apostel, Informatics and Applied Informatics, Software Languages Lab, Weaving of Software Components (JACQUARD), Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria), Computing Department [Lancaster], Lancaster University, Department of Computer Science - Trinity College Dublin, University of Dublin, Center Leo Apostel (CLEA), Vrije Universiteit Brussel (VUB), Software Technology Group [Darmstadt], Technische Universität Darmstadt (TU Darmstadt), Distributed Systems and Computer Networks (DistriNet), Catholic University of Leuven - Katholieke Universiteit Leuven (KU Leuven), Department of Computer Science [Haifa], University of Haifa [Haifa], Objects, aspects and components (OBASCO), Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), NoE AOSD-Europe, and Technische Universität Darmstadt - Technical University of Darmstadt (TU Darmstadt)

Subjects
Social software engineering, Software Engineering Process Group, Engineering, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Software engineering, business.industry, 4. Education, Software development, 020207 software engineering, 02 engineering and technology, aspect-oriented software development, curricula development, Software development process, ComputingMilieux_GENERAL, 020204 information systems, Software construction, Personal software process, 0202 electrical engineering, electronic engineering, information engineering, ComputingMilieux_COMPUTERSANDEDUCATION, Package development process, business, Software
Abstract

Special issue on Software Engineering Curriculum Development; International audience; As new software engineering techniques emerge, there's a cognitive shift in how developers approach a problem's analysis and how they design and implement its software-based solution. Future software engineers must be appropriately and effectively trained in new techniques' fundamentals and applications. With techniques becoming more mature, such training moves beyond specialized industrial courses into postgraduate curricula (as advanced topics) and subsequently into undergraduate curricula. A model curriculum for aspect-oriented software development provides guidelines about fundamentals, a common framework, and a step toward developing a body of knowledge.

Published
2006
Full Text
View/download PDF

67. Semantic Join Point Models: Motivations, Notions and Requirements

Author

Cazzola, Walter, Jézéquel, Jean-Marc, Rashid, Awais, Dipartimento di Scienze dell'Informazione [Milano], Università degli Studi di Milano = University of Milan (UNIMI), Reliable and efficient component based software engineering (TRISKELL), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Computing Department [Lancaster], Lancaster University, Università degli Studi di Milano [Milano] (UNIMI), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique

Subjects
Software_SOFTWAREENGINEERING, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Software_PROGRAMMINGLANGUAGES, Software_PROGRAMMINGTECHNIQUES
Abstract

International audience; Aspect-oriented programming (AOP) has been designed to provide a better separation of concerns at development level by modularizing concerns that would otherwise be tangled and scattered across other concerns. Current mainstream AOP techniques separate crosscutting concerns on a syntactic basis whereas a concern is more a semantic matter. Therefore, a different, more semanticoriented, approach to AOP is needed. In this position paper, we investigate the limitations of mainstream AOP techniques, mainly AspectJ, in this regard and highlight the issues that need to be addressed to design semantic-based join point models.

Published
2006

68. Virtual Networks under Attack: Disrupting Internet Coordinate Systems

Author

Laurent Mathy, Mohamed Ali Kaafar, Walid Dabbous, Thierry Turletti, Protocols and applications for the Internet (PLANETE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria), Computing Department [Lancaster], Lancaster University, and Co-Next

Subjects
Service (systems architecture), Computer science, business.industry, Distributed computing, Coordinate system, Overlay Networks, Overlay network, Overlay, security, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Collusion, Embedding, The Internet, network positioning systems, business, Geometric space, Computer network
Abstract

Internet coordinate-based systems are poised to become an important service to support overlay construction and topology-aware applications. Indeed, through network distance embedding into an appropriate geometric space, such systems allow for accurate network distance estimations with low overhead. However, coordinate systems often rely on good cooperation between nodes for correct coordination and assume that information reported by probed nodes is correct. In this paper, we identify various attacks against coordinate embedding systems and show their effectiveness on two representative positioning systems, namely Vivaldi and NPS. Our study demonstrates that these attacks can seriously disrupt the operations of these systems and therefore the virtual networks and applications relying on them for distance measurements. Through simulations of different potential scenarios where malicious nodes provide biased coordinate information and delay measurement probes, we quantify the effects of attack strategies that aim to (i) introduce disorder in the system, (ii) fool honest nodes to move far away from their correct positions and (iii) isolate particular target nodes in the system through collusion. Our findings confirm the susceptibility of the coordinate systems to such attacks.

Published
2006

69. TYING SEMANTIC LABELS TO COMPUTATIONAL DESCRIPTORS OF SIMILAR TIMBRES

Author

Fitzgerald, Rosemary, Lindsay, Adam, Lancaster University, and Computing Department [Lancaster]

Subjects
[SHS.MUSIQ]Humanities and Social Sciences/Musicology and performing arts, [INFO]Computer Science [cs]
Abstract

International audience; This paper asserts the importance of using multiple representations when examining computational descriptions of any musical percept. We examine the existing stateof-the-art among the MPEG-7 timbre descriptors, and by choosing oboe timbre as our domain we investigate their application to timbres from the same instrument. Using a dual approach, correlating perceptual information with a wide range of computational descriptors, we propose potential extensions to MPEG-7 representations. By eliminating the need for generality across instruments, we believe we can reach a higher level of semantic representation within timbre domains from a single instrument class.

Published
2004

70. Physical aging in polymers: Comparison of two ways of determining narayanaswamy's parameter

Author

P. Cortés, Jean-Marc Saiter, Salvador Montserrat, Claude Bunel, Fabrice Burel, Marie-Elodie Godard, John M. Hutchinson, Laboratoire d’Etude et de Caractérisation des Amorphes et des Polymères (AMME-LECAP EA 4528 International Laboratory), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU), Polymères, biopolymères, membranes (PBM), Centre National de la Recherche Scientifique (CNRS)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU), Computing Department [Lancaster], and Lancaster University

Subjects
chemistry.chemical_classification, Work (thermodynamics), Materials science, Polymers and Plastics, fungi, Enthalpy, Thermodynamics, 02 engineering and technology, General Chemistry, Polymer, 010402 general chemistry, 021001 nanoscience & nanotechnology, 01 natural sciences, 0104 chemical sciences, Differential scanning calorimetry, [CHIM.POLY]Chemical Sciences/Polymers, chemistry, Chain (algebraic topology), Polymer chemistry, Materials Chemistry, Scattering parameters, Relaxation (physics), 0210 nano-technology, Alkyl, ComputingMilieux_MISCELLANEOUS
Abstract

In this work, we have investigated by differential scanning calorimetry the enthalpy relaxation of two poly[methyl(α-n-alkyl)acrylates] in which it is possible to change the length of the two alkyl chains. In particular, we have evaluated the Narayanaswamy parameter, which controls relative contribution of temperature and of structure to the relaxation times, by two methods: Grenet's method (GM) and the peak-shift method (PSM). The data obtained show that both methods lead to equivalent results. Nevertheless, PSM requires fewer experiments than GM, and PSM appears to be more practical. The results obtained on the two acrylates show that the parameter x increases with the lateral chain length, that is to say, that the temperature effects increase as the length of the alkyl chain is increased.

Published
1996
Full Text
View/download PDF

71. Explication et réduction de l'impact des violations d'inégalités triangulaires dans Vivaldi

Author

François Cantin, Bamba Gueye, Mohamed Ali Kaafar, Guy Leduc, Laurent Mathy, Research Unit in Networking (RUN), Université de Liège, Computing Department [Lancaster], and Lancaster University

Subjects
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Systèmes de coordonnées, Violation de l'inégalité triangulaire, Performance, Mesures
Abstract

Les systèmes de coordonnées sont des systèmes distribués ayant pour but, à partir de mesures de distance (par exemple RTT) entre certaines paires de noeuds, d'associer des coordonnées à chaque noeud dans un espace métrique. Toutefois, de tels systèmes ne fonctionnent pas correctement lorsque les distances mesurées ne respectent pas les inégalités triangulaires. Or, les violations de ces inégalités, appelées TIV, sont fréquentes dans l'Internet. Nous proposons une étude approfondie de l'impact des TIV sur le système de coordonnées Vivaldi. Nous quantifions et expliquons les erreurs de prédiction de distance et l'instabilité des coordonnées causées par les TIV selon leur fréquence et leur sévérité. Nous montrons aussi que la distance entre deux noeuds, mesurée par le RTT, est corrélée à la probabilité d'existence d'une TIV. Enfin, nous recommandons un système de coordonnées hiérarchique, et nous montrons, par des simulations sur une matrice de délais réelle, qu'une telle approche réduit l'impact des TIV.

72. Traceability for Model Driven, Software Product Line Engineering

Author

Nicolas Anquetil, Birgit Grammel, Ismenia Galvão, Joost Noppen, Soffora Shakil Khan, Hugo Arboleda, Awais Rashid, Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), SAP Research [Belfast], SAP, Twente Research and Education on Software Engineering (TRESE), University of Twente, Computing Department [Lancaster], Lancaster University, Aspect and composition languages (ASCOLA), Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Grupo de investigación en desarollo de software [Bogota] (CSW), Universidad de los Andes [Bogota] (UNIANDES), Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN), University of Twente [Netherlands], and Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Département informatique - EMN

Subjects
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], ComputingMilieux_MISCELLANEOUS
Abstract

International audience

73. Incident reporting schemes and the need for a good story.

Author

Rooksby J, Gerry RM, and Smith AF

Subjects
Anesthesia Department, Hospital, Humans, Qualitative Research, Safety Management, United Kingdom, Narration, Risk Management methods
Abstract

Incident reporting is a central strategy for improving safety in the NHS (UK National Health Service). In this paper we discuss incident reporting in anaesthesia. We discuss four schemes for reporting: longstanding, departmental based schemes; newer, hospital wide schemes; a national scheme; and an inter-departmental scheme (developed by the authors). We also discuss an example report. We argue that this example report gives an expert 'story' of an incident, describing the incident in a way that is useful for the practical activities of maintaining and improving safety. We argue that stories are told and retold in reporting schemes. The reporting schemes are not just there to collect data but to afford the stories of what went wrong. In turn these schemes must be afforded stories by the anaesthetists, safety managers and the organisation at large. We consider how schemes can be designed to afford a 'good' story, one that is useful for the maintaining and improvement of safety.

Published
2007
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results