Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Technical Reports - DIT-04-001
MORA: a movement-based routing algorithm for ad hoc networks
2003
Keywords: routing algorithm, ad hoc networks, mobile communication, network connectivity

Abstract: In an ad hoc environment with no wired communication infrastructure, mobile hosts necessarily ope... See more
Technical Reports - DIT-03-051
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems
2003, Note: Published in DBISP2P workshop (Berlin, September 2003)

Abstract: In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) d... See more
Technical Reports - DIT-03-049
Planning and monitoring the execution of web service requests
2003
Keywords: service oriented computing, web services, service request languages, planning

Abstract: Interaction with web services enabled marketplaces would be greatly facilitated if users were giv... See more
Technical Reports - DIT-03-050
Traffic Engineering in G-MPLS networks with QoS guarantees
2003
Keywords: traffic engineering, optical networks, G-MPLS, quality of service, preemption, dynamic grooming, routing algorithm

Abstract: In this paper a new Traffic Engineering (TE) scheme to efficiently route sub-wavelength requests ... See more
Technical Reports - DIT-03-053
A Propositional Branching Temporal Logic for the Ambient Calculus
2003

Abstract: We advocate the use of a CTL* logic, built upon the Ambient Calculus in dealing with mobile compu... See more
Technical Reports - DIT-03-054
Computing the accessibility relation for the Ambient Calculus
2003

Abstract: We present some algorithms to compute the reductions of Ambient Calculus and to describe mobility... See more
Technical Reports - DIT-04-004
A novel methodology for analysis of the computational complexity of block ciphers: Rijndael, Camellia and Shacal-2 compared.
2003
Keywords: block ciphers, cipher complexity, performance evaluation, AES

Abstract: The paper presents a methodology for the evaluation of the complexity and computational cost of d... See more
Technical Reports - DIT-03-055
Predicting cell adhesion probability via the biochemical stochastic pi-calculus
2003

Abstract: This paper presents a stochastic model of the lymphocytes recruitment in inflamed brain microvess... See more
Technical Reports - DIT 03-080
Requirements Engineering for the Business Process re-engineering: an example in the Agro-Food Supply Chain
2003
Keywords: Requirements Analysis, Modelling Notations, Business Processes Re-engineering, Systems Engineering Methodologies

Abstract: Being able to reduce the gap between Requirements Engineering and Software Engineering is crucial... See more
Technical Reports - DIT 03-080
Requirements Engineering for the Business Process re-engineering: an example in the Agro-Food Supply Chain
2003
Keywords: Requirements Analysis, Modelling Notations, Business Processes Re-engineering, Systems Engineering Methodologies

Abstract: Recent researches in Requirements Engineering and Software Engineering suggest that a deep organi... See more