@inproceedings{Alves:09, author = {Alves, S{\'e}rgio and Koldehofe, Boris and Miranda, Hugo and Taiani, Fran{\c c}ois}, title = {Design of a backup network for catastrophe scenarios}, booktitle = {Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing (IWCMC '09)}, year = 2009, isbn = {978-1-60558-569-7}, pages = {613--617}, location = {Leipzig, Germany}, doi = {10.1145/1582379.1582512}, publisher = {ACM}, address = {New York, NY, USA}, } @InProceedings{Antunes:01, author = {Miguel Antunes and Hugo Miranda and Ant{\'o}nio Rito Silva and Lu{\'\i}s Rodrigues and Jorge Martins}, title = {Separating Replication from Distributed Communication: Problems and Solutions}, booktitle = {Proceedings of the International Workshop on Distributed Dynamic Multiservice Architectures (DDMA), in conjunction with the 21st International Conference on Distributed Computing Systems (ICDCS-21)}, pages = {103--108}, year = 2001, address = {Phoenix, Arizona, USA}, month = apr, publisher = {IEEE}, keywords = {Distributed Communication, Replication, Separation of Concerns, Multiuser Virtual Environments}, abstract = {Replication and distributed communication are usually tightly coupled. This code tangling forbids their independent reuse and adaptation. In this position paper the problems resulting from coupling replication with distributed communication are discussed. In addition, a solution based on separation of concerns is proposed. The abstractions for each concern are presented as well as their composition.}, papel = "HM-D2", ficheiro = {HM-CD1} } @InBook{Araujo:09, author = {Filipe Araujo and Hugo Miranda}, title = {Middleware for Network Eccentric and Mobile Applications}, chapter = {Ad Hoc Routing}, publisher = {Springer}, year = 2009, pages = {63--93} } @TechReport{Armstrong:01, author = {J. Armstrong and C. Cachin and Miguel Correia and A. Costa and Hugo Miranda and Nuno Ferreira Neves and Nuno M. Neves and J. A. Poritz and B. Randell and L. C. Lung and Lu{\'\i}s Rodrigues and Robert J. Stroud and Paulo Ver{\'\i}ssimo and M. Waidner and I. S. Welch}, title = {First Specification of APIs and Protocols for the MAFTIA Middleware}, institution = {Department of Informatics, University of Lisbon}, month = {September}, year = 2001, type = {DI/FCUL TR}, number = {01--6}, ficheiro = {HM-CD1}, } @TechReport{Armstrong:02, author = {J. Armstrong and C. Cachin and Miguel Correia and A. Costa and Hugo Miranda and Nuno Ferreira Neves and Nuno M. Neves and J. A. Poritz and B. Randell and L. C. Lung and Lu{\'\i}s Rodrigues and Robert J. Stroud and Paulo Ver{\'\i}ssimo and M. Waidner and I. S. Welch}, title = {Complete Specification of APIs and Protocols for the {MAFTIA} Middleware}, institution = {Department of Informatics, University of Lisbon}, month = {July}, year = 2002, type = {DI/FCUL TR}, number = {02--11}, ficheiro = {HM-CD1}, } @INPROCEEDINGS{Busnel:13, author = {Busnel, Yann and Cruz, Nuno and Gillet, Denis and Holzer, Adrian and Miranda, Hugo}, booktitle = {Proceedings of the 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2013)}, title = {Reinventing Mobile Community Computing and Communication}, year = 2013, pages = {1450--1457}, abstract = {In less than a decade, smartphones and mobile applications spread like wildfire and dramatically improved aspects of our professional and private lives, from efficiency to safety. However, these applications are still in their infancy and mostly provide mobile versions of online Internet services or arcade games. With the exception of simple location-based query applications, context-awareness is largely ignored. However, it is not hard to imagine advanced mobile social networking applications -- SNAPPs for short -- that could proactively assist users in everyday tasks, improving their quality of life. Such services would require massive data collection, processing and communication between mobile devices. Unfortunately, the current centralised communication paradigm represents a major barrier to such intense networking. In this paper, we claim that a fundamental paradigm shift in communication is required to allow such application to see the light of day. The paper claims that such a shift is possible and that it resides in moving towards decentralised communication by taking advantage of the largely untapped network, storage and processing power capabilities offered by idle mobile devices. The paper presents and discusses a number of research questions that must be addressed in order to achieve this paradigm shift.}, keywords = {Ad hoc systems;context-awareness;social networking}, doi = {10.1109/TrustCom.2013.175}, } @InProceedings{Chipongue:17, author = {Raimundo Chipongue and Hugo Miranda and Ant{\'o}nio Broega}, title = {Indicadores de Segurança em Plataformas de Monitoriza{\c c}{\~a}o}, booktitle = {INFORUM 2017 - Atas do Nono Simp{\'o}sio de Inform{\'a}tica}, year = 2017, editor = {Jo{\~a}o Paulo Barraca and Helena Rodrigues and Ant{\'o}nio Teixeira and Jos{\'e} Maria Fernandes}, pages = {281--292}, month = oct # { 12--13}, address = {Aveiro, Portugal}, organization = {Universidade de Aveiro}, publisher = {UA Editora}, ISBN = {978-972-789-522-9}, URL = {http://inforum.org.pt/INForum2017/docs/atas-do-inforum2017}, } @inproceedings{Costa:08, author = {Paolo Costa and Daniela Gavidia and Boris Koldehofe and Hugo Miranda and Mirco Musolesi and Oriana Riva}, title = {When cars start gossiping}, booktitle = {Proceedings of the 6th workshop on Middleware for network eccentric and mobile applications (MiNEMA '08), in conjunction with Eurosys 2008}, year = 2008, isbn = {978-1-60558-122-4}, pages = {1--4}, location = {Glasgow, Scotland}, doi = {10.1145/1435467.1435468}, publisher = {ACM}, address = {New York, NY, USA}, month = apr # { 1}, } @InProceedings{Cruz:11, author = {Nuno Cruz and Hugo Miranda}, title = {Arquitectura para uma Computa{\c c}{\~a}o em Nuvem Colaborativa entre Dispositivos M{\'o}veis}, booktitle = {Atas do INFORUM 2011 - Terceiro Simp{\'o}sio de Inform{\'a}tica}, pages = {450--455}, year = 2011, editor = {Raul Barbosa and Lu{\'\i}s Caires}, address = {Coimbra, Portugal}, month = sep # { 8--9}, publisher = {Dep. de Engenharia Inform{\'a}tica da Universidade de Coimbra}, isbn = {978-989-96001-5-7} } @InProceedings{Cruz:12, author = {Nuno Cruz and Hugo Miranda}, title = {Avalia{\c c}{\~a}o de um Sistema de Reputa{\c c}{\~a}o e Incentivo}, booktitle = {Atas do 4o Simp{\'o}sio de Inform{\'a}tica (INForum 2012)}, pages = {144--155}, year = 2012, editor = {Ant{\'o}nia Lopes e Jos{\'e} Orlando Pereira}, month = sep # { 6--7}, organization = {Faculdade de Ci{\^e}ncias e Tecnologia da Universidade Nova de Lisboa}, publisher = {Faculdade de Ci{\^e}ncias e Tecnologia da Universidade Nova de Lisboa}, isbn = {978-972-8893-32-3} } @InProceedings{Cruz:13, author = {Nuno Cruz and Hugo Miranda and Pedro Ribeiro}, title = {A mobilidade dos utilizadores da eduroam ao longo dos anos}, booktitle = {Atas do 5o Simp{\'o}sio de Inform{\'a}tica (INForum 2013)}, year = 2013, editor = {Jo{\~a}o Cachopo and Beatriz Sousa Santos}, pages = {189--200}, month = sep # { 5--6}, address = {{\'E}vora, Portugal}, organization = {Universidade de {\'E}vora}, publisher = {Universidade de {\'E}vora}, } @INPROCEEDINGS{Cruz:13a, author = {Cruz, Nuno and Miranda, Hugo}, booktitle = {Proceedings of the Seventh International Conference on Next Generation Mobile Apps, Services and Technologies (NGMAST 2013)}, title = {A Hybrid Trust and Trade Service for Mobile Collaborative Computing}, year = 2013, month = sep # { 10--13}, publisher = {IEEE}, pages = {1-6}, abstract = {Allowing a mobile device to provide a service to the neighbouring peers carries non-negligible risks, of which confidentiality, privacy and selfishness are good examples. To discourage selfishness, two approaches are typically taken: i) in trade based systems, devices agree on a retribution for the execution of a task, ii) in trust based systems rogue devices are detected and announced by their peers. We show that in some scenarios found in wireless mobile networks both present sub-optimal results. The paper describes and evaluates a hybrid service, combining trade and trust-based characteristics. The service suits well privacy requirements as it assumes and encourages users to frequently change their pseudonyms. The paper shows that the service detects several misbehaving approaches, even without requiring interacting devices to be connected to the Internet.}, keywords = {Collaboration;Mobile communication;Mobile handsets;Peer-to-peer computing;Privacy;Protocols;Wireless communication;Cooperation;Incentive;Mobile Networks;Reputation;Trust}, doi = {10.1109/NGMAST.2013.10}, } @Article{Cruz:13b, author = {Nuno Cruz and Hugo Miranda}, title = {Arquitetura para uma Computa{\c c}{\~a}o em Nuvem Colaborativa entre Dispositivos M{\'o}veis}, journal = {Rob{\'o}tica}, year = 2013, number = 92, pages = {46--49}, annote = {Versao extendida do paper inforum}, papel = {revista} } @INPROCEEDINGS{Cruz:14, author = {Cruz, Nuno and Miranda, Hugo and Ribeiro, Pedro}, booktitle = {Proceedings of the 2014 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)}, title = {The evolution of user mobility on the eduroam network}, year = 2014, month = Mar # { 24}, pages = {249--253}, abstract = {The emergence of smartphones with Wireless LAN (WiFi) network interfaces brought new challenges to application developers. The expected increase of users connectivity will impact their expectations for example on the performance of background applications. Unfortunately, the number and breadth of the studies on the new patterns of user mobility and connectivity that result from the emergence of smartphones is still insufficient to support this claim. This paper contributes with preliminary results on a large scale study of the usage pattern of about 49000 devices and 31000 users who accessed at least one access point of the eduroam WiFi network on the campuses of the Lisbon Polytechnic Institute. Results confirm that the increasing number of smartphones resulted in significant changes to the pattern of use, with impact on the amount of traffic and users connection time.}, keywords = {IEEE 802.11 Standards;Portable computers;Protocols;Smart phones;Wireless networks}, doi = {10.1109/PerComW.2014.6815212}, location = {Budapest, Hungary} } @InProceedings{Cruz:14a, author = {Nuno Cruz and Hugo Miranda and Pedro Ribeiro}, title = {O Impacto dos Smartphones nos Modelos de Mobilidade Tradicionais}, booktitle = {INForum 2014 - Atas do 6$^o$ Simp{\'o}sio de Inform{\'a}tica}, year = 2014, editor = {Salvador Pinto Abreu and Jo{\~a}o Pascoal Faria}, pages = {195--210}, month = sep # { 4--5}, address = {Porto, Portugal}, organization = {Universidade do Porto}, publisher = {FEUP Edi{\c c}{\~o}es} } @inproceedings{Cruz:14b, author = {Cruz, Nuno and Miranda, Hugo}, title = {MobIPLity: A Trace-based Mobility Scenario Generator for Mobile Applications}, booktitle = {Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services}, series = {MOBIQUITOUS '14}, year = 2014, month = dec # { 2--5}, isbn = {978-1-63190-039-6}, location = {London, United Kingdom}, pages = {228--237}, numpages = {10}, url = {http://dx.doi.org/10.4108/icst.mobiquitous.2014.257986}, doi = {10.4108/icst.mobiquitous.2014.257986}, acmid = {2693013}, publisher = {ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)}, address = {ICST, Brussels, Belgium, Belgium}, } @ARTICLE{Cruz:15, author = {Nuno Cruz and Hugo Miranda}, title = {MobIPLity: A trace-based mobility scenario generator for mobile applications}, journal = {EAI Endorsed Transactions on Ubiquitous Environments}, volume = 15, number = 5, publisher = {ICST}, journal_a = {UE}, year = 2015, month = jul, keywords = {mobility patterns,mobile computing,traces}, doi = {10.4108/ue.2.5.e2}, issn = {2032-9377} } @INPROCEEDINGS{Cruz:15b, author = {Nuno Cruz and Hugo Miranda}, title = {Recurring contact opportunities within groups of devices}, booktitle = {Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS 2015)}, publisher = {ACM}, proceedings_a ={MOBIQUITOUS}, year = 2015, month = aug, keywords = {mobility, wireless, communities, temporal communities, contact prediction}, doi = {10.4108/eai.22-7-2015.2260048} } @ARTICLE{Cruz:15c, author={Nuno Cruz and Hugo Miranda}, title={Recurring contact opportunities within groups of devices}, journal={EAI Endorsed Transactions on Ambient Systems}, volume=15, number=6, publisher={EAI}, journal_a={AMSYS}, year=2015, month=aug, keywords={mobility, wireless, communities, temporal communities, contact prediction}, doi={10.4108/eai.22-7-2015.2260048} } @ARTICLE{Cruz:18, author = {N. Cruz and H. Miranda}, journal = {IEEE Transactions on Mobile Computing}, title = {Recurring Contacts between Groups of Devices: Analysis and Application}, year = 2018, volume = 17, number = 7, pages = {1666--1679}, abstract = {The capability to anticipate a contact with another device can contribute to improving the performance and user satisfaction of mobile social network applications and of any other relying on some form of data harvesting or hoarding. This paper presents a nine year data set of wireless access logs produced by more than 70,000 devices and 40,000 users. Research on the recurring contact patterns observed between groups of devices permitted to model the probabilities of occurrence of a contact at a predefined date between pairs of devices. As an example, the paper presents and evaluates an algorithm that provides daily contact predictions, based on the history of past pairwise contacts and its application on a reputation service.}, keywords = {Data mining;Data models;Measurement;Mobile computing;Prediction algorithms;Routing protocols;Wireless fidelity;Mobility;contact recurrence;modelling}, doi = {10.1109/TMC.2017.2722408}, ISSN = {1536-1233}, month = Jul, } @inproceedings{Ellis:08, author = {Carl Ellis and Hugo Miranda and Fran\c{c}ois Ta\"{\i}ani}, title = {Tailoring a broadcast algorithm to particular network conditions}, booktitle = {Proceedings of the 6th workshop on Middleware for network eccentric and mobile applications (MiNEMA '08), in conjunction with Eurosys 2008}, year = 2008, isbn = {978-1-60558-122-4}, pages = {18--20}, location = {Glasgow, Scotland}, doi = {10.1145/1435467.1435472}, publisher = {ACM}, address = {New York, NY, USA}, month = apr # { 1} } @inproceedings{Ellis:09, author = {Ellis, Carl and Miranda, Hugo and Ta\"{\i}ani, Fran\c{c}ois}, title = {Count on me: lightweight ad-hoc broadcasting in heterogeneous topologies}, booktitle = {Proceedings of the International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-PAC '09)}, year = 2009, isbn = {978-1-60558-849-0}, pages = {1--6}, location = {Urbana Champaign, Illinois}, doi = {10.1145/1657127.1657129}, publisher = {ACM}, address = {New York, NY, USA}, month = Nov # { 30}, } @TechReport{Fonseca:08, author = {Pedro Fonseca and Hugo Miranda}, title = {{FASE}: Reaching Scalability in Unstructured P2P Networks Using a Divide and Conquer Strategy}, institution = {Department of Informatics, University of Lisbon}, year = 2008, type = {DI/FCUL TR}, number = {08--12}, month = may, abstract = {Unstructured peer-to-peer networks have a low maintenance cost, high resilience and tolerance to the continuous arrival and departure of nodes. In these networks search is usually performed by flooding, which is highly inefficient. To improve scalability, unstructured overlays evolved to a two-tiered architecture where regular nodes rely on superpeers to locate resources. While this approach takes advantage of node heterogeneity, it makes the overlay less resilient to accidental and malicious faults, and less attractive to users concerned with the consumption of their resources. In this paper we propose a search algorithm, called FASE, which combines a replication policy and a search space division technique to achieve scalability on unstructured overlays with flat topologies. We present simulation results which validate FASE improved scalability and efficiency.} } @inproceedings{Fonseca:08a, author = {Fonseca, Pedro and Miranda, Hugo}, title = {Improving scalability of autonomic systems: the frequency-aware search approach}, booktitle = {Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems (Autonomics '08)}, year = 2008, isbn = {978-963-9799-34-9}, pages = {1--10}, location = {Turin, Italy}, publisher = {ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)}, address = {ICST, Brussels, Belgium, Belgium}, month = sep # { 23--25}, abstract = {Resource and data indexing in distributed, self-manageable systems can leverage on the experience gained from peer-to-peer networks, often built using distributed indexing. This paper presents FASE, a distributed indexing algorithm for unstructured overlays with flat topologies. FASE combines a replication policy and a search space division technique to achieve low hop counts using a small number of messages. The unexpected departure of nodes from the overlay, which may be observed in heterogeneous networks built over an unreliable medium, is mitigated by a distributed monitoring algorithm designed with FASE in mind. Simulation results validate FASE efficiency when compared to other search algorithms. The evaluation of the distributed monitoring algorithm shows that it maintains FASE performance when subjected to a constant arrival and departure of nodes.} } @InBook{Friedman:09, author = {Roy Friedman and Anne-Marie Kermarrec and Hugo Miranda and Lu{\'\i}s Rodrigues}, title = {Middleware for Network Eccentric and Mobile Applications}, chapter = {Gossip-Based Dissemination}, publisher = {Springer}, year = 2009, pages = {169--190} } @Book{Garbinato:09, editor = {Beno{\^\i}t Garbinato and Hugo Miranda and Lu{\'\i}s Rodrigues}, title = {Middleware for Network Eccentric and Mobile Applications}, publisher = {Springer}, year = 2009, isbn = {978-3-540-89706-4}, papel = {HM-L24} } @InProceedings{Jeichande:16, author = {Dauto Jeichande and Hugo Miranda}, title = {Redundant Firewalls for Web Applications}, booktitle = {INForum 2016 - Atas do Oitavo Simp{\'o}sio de Inform{a'a}tica}, year = 2016, editor = {Andr{\'e} Z{\'u}quete e Nuno Pregui{\c c}a}, pages = {323--334}, month = sep # { 8--9}, address = {Lisboa, Portugal}, organization = {Instituto Superior T{\'e}cnico - Universidade de Lisboa} } @InProceedings{Leggio:06, author = {Simone Leggio and Hugo Miranda and Kimmo Raatikainen and Lu{\'\i}s Rodrigues}, title = {{SIPCache}: A Distributed {SIP} Location Service for Mobile Ad-Hoc Networks}, booktitle = {Proceedings of the 3rd Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS 2006)}, year = 2006, address = {San Jose, CA}, month = jul # { 17--21}, ISBN = {1-4244-0499-1}, ficheiro = {HM-CD2}, doi = {10.1109/MOBIQ.2006.340392} } @InProceedings{Ligeiro:06, author = {Rui Ligeiro and Hugo Miranda}, title = {An{\'a}lise {\'a} Disposi{\c c}{\~a}o de Pontos de Acesso Utilizando Algoritmos Gen{\'e}ticos}, booktitle = {Proceedings of the Conference on Mobile and Ubiquitous Systems}, pages = {70--78}, year = 2006, editor = {Rui Jos{\'e} and Carlos Baquero}, address = {Guimar{\~a}es, Portugal}, month = jun # { 29--30}, organization = {Escola de Engenharia - Universidade do Minho}, papel = {HM-P17}, ficheiro = {HM-CD2}, } @inproceedings{Lima:12, author = {Lima, Rui and Baquero, Carlos and Miranda, Hugo}, title = {Stopping ongoing broadcasts in large MANETs}, booktitle = {Proceedings of the 1st European Workshop on AppRoaches to MObiquiTous Resilience (ARMOR'12)}, series = {ARMOR '12}, year = 2012, isbn = {978-1-4503-1150-2}, location = {Sibiu, Romania}, pages = {4:1--4:5}, articleno = 4, numpages = 5, doi = {10.1145/2222436.2222440}, acmid = 2222440, publisher = {ACM}, address = {New York, NY, USA}, keywords = {availability, broadcast, mobile systems, multi-hop wireless networks, protocols, resilience, searching}, } @InProceedings{Lima:12b, author = {Rui Lima and Carlos Baquero and Hugo Miranda}, title = {Compara{\c c}{\~a}o de Mecanismos de Cancelamento de Difus{\~a}o}, booktitle = {Atas do 4o Simp{\'o}sio de Inform{\'a}tica (INForum 2012)}, pages = {96--107}, year = 2012, editor = {Ant{\'o}nia Lopes e Jos{\'e} Orlando Pereira}, month = sep # { 6--7}, organization = {Faculdade de Ci{\^e}ncias e Tecnologia da Universidade Nova de Lisboa}, publisher = {Faculdade de Ci{\^e}ncias e Tecnologia da Universidade Nova de Lisboa}, isbn = {978-972-8893-32-3} } @INPROCEEDINGS{Lima:12c, author = {Lima, Diogo and Miranda, Hugo}, booktitle = {IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2012)}, title = {Flow-Aware Broadcasting Algorithm}, year = 2012, month = jun, pages = {1601--1608}, abstract = {Broadcasting represents the foundation for communication and higher level application development in ad hoc and sensor networks. Designing broadcasting protocols is a challenging task, as they have to be simultaneously efficient and lightweight. However, broadcast algorithms tend to overlook the importance of the network topology, what may result in efficiency loss in heterogeneous node topologies, specially those where the retransmission of a few nodes is fundamental to ensure the broadcast propagation to large regions of the network. This paper proposes a novel broadcasting algorithm that favours the retransmission of the key nodes. Simulation results show that, in comparison with other approaches, the algorithm increases the delivery ratio without sacrificing device's lifetime with an increase in the number of retransmissions.}, doi = {10.1109/TrustCom.2012.162}, isbn = {978-1-4673-2172-3}, } @inproceedings{Lima:13, author = {Lima, Rui and Baquero, Carlos and Miranda, Hugo}, title = {Broadcast cancellation in search mechanisms}, booktitle = {Proceedings of the 28th Annual ACM Symposium on Applied Computing}, series = {SAC '13}, year = 2013, isbn = {978-1-4503-1656-9}, location = {Coimbra, Portugal}, pages = {548--553}, numpages = 6, doi = {10.1145/2480362.2480467}, acmid = 2480467, publisher = {ACM}, address = {New York, NY, USA}, keywords = {broadcast, cancellation, mobile systems, protocols, resource searching, unstructured networks}, } @InProceedings{Lima:13a, author = {Diogo Lima and Dulce Domingos and Hugo Miranda and Caio Fontana}, title = {Modelos de Publica{\c c}{\~a}o/Subscri{\c c}{\~a}o na Internet of Things}, booktitle = {Atas do 5o Simp{\'o}sio de Inform{\'a}tica (INForum 2013)}, year = 2013, editor = {Jo{\~a}o Cachopo and Beatriz Sousa Santos}, pages = {201--212}, month = sep # { 5--6}, address = {{\'E}vora, Portugal}, organization = {Universidade de {\'E}vora}, publisher = {Universidade de {\'E}vora}, } @InProceedings{Lima:14, author = {Diogo Lima and Hugo Miranda and Fran{\c c}ois Ta{\"\i}ani}, title = {A New System Model for Cloud Offloading}, booktitle = {INForum 2014 - Atas do 6$^o$ Simp{\'o}sio de Inform{\'a}tica}, year = 2014, editor = {Salvador Pinto Abreu and Jo{\~a}o Pascoal Faria}, pages = {174--183}, month = sep # { 4--5}, address = {Porto, Portugal}, organization = {Universidade do Porto}, publisher = {FEUP Edi{\c c}{\~o}es} } @inproceedings{Lima:14a, author = {Lima, Diogo and Miranda, Hugo and Ta\"{\i}ani, Fran\c{c}ois}, title = {Towards a New Model for Cyber Foraging}, booktitle = {Proceedings of the 13th Workshop on Adaptive and Reflective Middleware}, series = {ARM '14}, year = 2014, isbn = {978-1-4503-3232-3}, location = {Bordeaux, France}, pages = {6:1--6:6}, articleno = 6, numpages = 6, url = {http://doi.acm.org/10.1145/2677017.2677023}, doi = {10.1145/2677017.2677023}, acmid = 2677023, publisher = {ACM}, address = {New York, NY, USA}, keywords = {cyber foraging, remote execution, surrogate, wireless}, month = dec # { 9} } @InProceedings{Lima:15, author = {Rui Lima and Carlos Baquero and Hugo Miranda}, title = {{FBL} - Filtro de Bloom Linear}, booktitle = {INFORUM 2015 - Atas do 7$^o$ Simp{\'o}sio Nacional de Inform{\'a}tica}, year = 2015, editor = {Lu{\'\i}s Veiga and Ricardo Rocha}, pages = {126--140}, month = sep # { 7--8}, address = {Covilh{\~a}, Portugal}, organization = {Universidade da Beira Interior}, publisher = {UBI - Universidade da Beira Interior. Servi{\c c}os Gr{\'a}ficos}, ISBN = {978-989-654-248-1} } @INPROCEEDINGS{Lima:15a, author = {Lima, Rui and Baquero, Carlos and Miranda, Hugo}, booktitle = {Proceedings of the 9th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2015)}, title = {Adaptive Broadcast Cancellation Query Mechanism for Unstructured Networks}, year = 2015, pages = {176--181}, abstract = {The availability of cheap wireless sensors boosted the emergence of unstructured networks using wireless technologies with decentralised administration. However, a simple task such as learning the temperature needs a discovery service to find a thermometer among all the sensors. In general, resource discovery relies on flooding mechanisms that waste energy and compromises system availability. Energy efficient strategies limit the exploration area, but with a significant impact on latency. The paper proposes ABC (Adaptive Broadcast Cancellation), a new algorithm that uses the knowledge acquired in previous discoveries to accelerate queries towards the resource. Knowledge is stored in a variation of Bloom filters, thus contributing for an efficient utilization of the sensors limited memory.}, keywords = {Delays;Maximum likelihood detection;Nickel;Peer-to-peer computing;Protocols;Sensors;Wireless sensor networks;Broadcast;Cancellation;Search;Wireless Networks}, doi = {10.1109/NGMAST.2015.41}, month = Sep # { 9-11}, address = {Cambridge, UK}, isbn = {978-1-4799-8660-6} } @InProceedings{Lima:16, author = {Diogo Lima and Hugo Miranda and Fran{\c c}ois Ta{\"\i}ani}, title = {Partial Replication Policies for Dynamic Distributed Transactional Memory in Edge Clouds}, booktitle = {Proceedings of The 1st Workshop on Middleware for Edge Clouds \& Cloudlets, Colocated with ACM/IFIP/USENIX Middleware 2016}, year = 2016, month = dec # { 12}, address = {Trento, Italy}, publisher = {ACM}, isbn = {978-1-4503-4668-9}, doi = {10.1145/3017116.3017118} } @INPROCEEDINGS{Lima:17, autblhor = {D. Lima and H. Miranda and F. Taïani}, booktitle = {Wireless Days 2017}, title = {Simulation of partial replication in Distributed Transactional Memory}, year = 2017, pages = {54--59}, keywords = {Clocks;Concurrent computing;Distributed databases;Mobile communication;Mobile handsets;Servers;System performance}, doi = {10.1109/WD.2017.7918115}, month = Mar # { 29--31}, publisher = {IEEE}, isbn = {978-1-5090-5856-3}, address = {Porto, Portugal} } @InProceedings{Lima:17a, author = {Diogo Lima and Hugo Miranda and Fran{\c c}ois Ta{\"i}ani}, title = {Can Graphs Solve the Geo-aware State Deployment Problem?}, booktitle = {INFORUM 2017 - Atas do Nono Simp{\'o}sio de Inform{\'a}tica}, year = 2017, editor = {Jo{\~a}o Paulo Barraca and Helena Rodrigues and Ant{\'o}nio Teixeira and Jos{\'e} Maria Fernandes}, pages = {221--232}, month = oct # { 12--13}, address = {Aveiro, Portugal}, organization = {Universidade de Aveiro}, publisher = {UA Editora}, ISBN = {978-972-789-522-9}, URL = {http://inforum.org.pt/INForum2017/docs/atas-do-inforum2017}, } @INPROCEEDINGS{Lima:18a, author = {D. Lima and H. Miranda and F. Taiani}, booktitle = {2018 IEEE 19th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM)}, title = {Weighting Past on the Geo-Aware State Deployment Problem}, year = 2018, pages = {01--03}, keywords = {Partitioning algorithms;Servers;Databases;Mobile applications;Electronic mail;Jitter;Edge computing}, doi = {10.1109/WoWMoM.2018.8449808}, month = Jun, note = {Short paper} } @InProceedings{Ludovico:11, author = {Jo{\~a}o Ludovico and Hugo Miranda}, title = {Um Algoritmo de Difus{\~a}o Baseado na Troca de Resumos}, booktitle = {Atas do INFORUM 2011 - Terceiro Simpósio de Informática}, pages = {294--305}, year = 2011, editor = {Raul Barbosa and Lu{\'\i}s Caires}, address = {Coimbra, Portugal}, month = sep # { 8--9}, publisher = {Dep. de Engenharia Informática da Universidade de Coimbra}, isbn = {978-989-96001-5-7} } @InProceedings{Martins:01, author = {Jo{\~a}o Martins and Ricardo Almeida and Hugo Miranda and Lu{\'\i}s Rodrigues}, title = {Coer{\^e}ncia num sistema transaccional de replica{\c c}{\~a}o de objectos em grande-escala}, booktitle = {Actas da 4$^a$ Confer{\^e}ncia sobre Redes de Computadores}, year = 2001, address = {Covilh{\~a}, Portugal}, month = nov # {29--30}, organization = {Universidade de Aveiro}, ficheiro = "HM-CD1" } @TechReport{Martins:01a, author = "Jo\~ao Martins and Ricardo Almeida and Hugo Miranda and Lu{\'\i}s Rodrigues", title = "Coer\^encia num sistema transaccional de replica\,c\~ao de objectos em grande-escala", institution = "Department of Computer Science, University of Lisbon", year = 2001, type = "DI/FCUL TR", number = "01--13", month = dec, note = "In Portuguese", ficheiro = "HM-CD1" } @InProceedings{Mascarenhas:10, author = {Ricardo Mascarenhas and Hugo Miranda}, title = {Um Sistema Publicador/subscritor com Subscri{\c c}{\~o}es Geograficamente Distribu{\'\i}das para {RSSFs}}, booktitle = {Actas do INFORUM - Simp{\'o}sio de Inform{\'a}tica}, pages = {427--438}, year = 2010, editor = {Lu{\'\i}s S. Barbosa and Miguel P. Correia}, address = {Braga, Portugal}, month = sep # { 9--10}, organization = {Universidade do Minho}, ISBN = {978-989-96863-0-4}, } @InProceedings{Matos:09, author = {Jo{\~a}o Matos and Hugo Miranda}, title = {Algoritmos de Difus{\~a}o para Protocolos de Encaminhamento em Redes Ad Hoc sem Fios}, booktitle = {Actas do INForum 2009 - Simp{\'o}sio de Inform{\'a}tica}, pages = {371--382}, year = 2009, editor = {Lu{\'\i}s Rodrigues and Rui Lopes}, address = {Lisboa, Portugal}, month = sep # { 10--11}, organization = {Universidade de Lisboa}, ISBN = {978-972-9348-18-1}, } @InProceedings{Matos:10, author = {Jo{\~a}o Matos and Hugo Miranda}, title = {Ad Hoc Routing Under Randomised Propagation Models}, booktitle = {Actas do INFORUM - Simp{\'o}sio de Inform{\'a}tica}, pages = {379--390}, year = 2010, editor = {Lu{\'\i}s S. Barbosa and Miguel P. Correia}, address = {Braga, Portugal}, month = sep # { 9--10}, organization = {Universidade do Minho}, ISBN = {978-989-96863-0-4}, } @INPROCEEDINGS{Matos:11, author = {Matos, Jo{\~a}o and Miranda, Hugo}, booktitle = {Proceedings of the 5th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST'11)}, title = {Contribution of Broadcast Algorithms to Reactive Ad Hoc Routing}, year = 2011, month = sep # { 14--16}, pages = {105--110}, abstract = {Most reactive routing protocols hoc wireless networks rely on a broadcast algorithm known as flooding for route discovery. With flooding, many copies of each message are retransmitted unnecessarily resulting in a sub-optimal resource consumption. Given that mobile devices usually have limited power and computational resources, it is of the utmost importance to reduce the resource consumption of each route discovery. A number of alternatives to flooding have been presented but their impact on the performance of reactive routing protocols is not well understood. This paper compares and discusses the performance of a routing protocol for MANETs with three distinct broadcast algorithms.}, doi = {10.1109/NGMAST.2011.28}, ISSN = {2161-2889}, location = {Cardiff, United Kingdom} } @InProceedings{Mauricio:18, author = {Tiago Mar{\'\i}cio and Gustavo Homem and Hugo Miranda}, title = {Controlador de Redes em C{\'o}digo Aberto}, booktitle = {INForum 2018 - Atas do D{\'e}cimo Simp{\'o}sio de Inform{\'a}tica}, year = 2018, editor = {No{\'e}lia Correia and Francisco Martins}, pages = {161--172}, month = sep # { 3--4}, address = {Coimbra, Portugal}, organization ={Departamento de Engenharia Inform{\'a}tica - Universidade de Coimbra}, publisher = {Faculdade de Ci{\^e}ncias e Tecnologia da Universidade de Coimbra}} @InProceedings{Miranda:98, author = {Miranda, Hugo and Costa, Francisco and Rodrigues, Lu\'{\i}s}, title = {Realiza\c{c}\~{a}o de um servi\c{c}o de grupos ligeiros para a plataforma de comunica\c{c}\~{a}o em grupo {E}nsemble}, booktitle = {Actas da 1$^a$ confer\^{e}ncia sobre Redes de Computadores}, pages = {65--69}, year = 1998, month = nov # " 9--10", organization = {Universidade de Coimbra e Funda\c{c}\~{a}o para a Computa\c{c}\~{a}o Cient\'{i}fica Nacional}, papel = "HM-P1", ficheiro = "HM-CD1 HM-C19 comfin11" } @inproceedings{Miranda:99a, author = "Miranda, H. and Rodrigues, L.", address = "Madeira Island, Portugal", booktitle = "Third European Research Seminar on Advances in Distributed Systems (ERSADS'99)", month = apr, title = "Communication support for multiple {QoS} requirements", year = "1999", papel = "HM-P2", ficheiro = "HM-CD1" } @inproceedings{Miranda:99b, author = "Miranda, H. and Rodrigues, L.", address = "Canc\'{u}n, M\'{e}xico", booktitle = "5th Internation Workshop on Groupware - CRIWG'99", organization = "IEEE", month = sep, pages = "338-342", title = "Flexible Communication Support for {CSCW} Applications", year = "1999", papel = "HM-P3,HM-D1", ficheiro = "HM-CD1", doi = "10.1109/SPIRE.1999.796612", isbn = "0-7695-0268-7" } @inproceedings{Miranda:00, author = "Miranda, H. and Antunes, M. and Rodrigues, L. and Rito Silva, A.", title = "Group Communication Support for Dependable Multi-User Object Oriented Environments", address = "Nurnberg, Germany", booktitle = "Proceedings of the International SRDS Workshop on Dependable System Middleware and Group Communication (DSMGC 2000), in conjunction with the IEEE Symposium on Reliable Distributed Systems (SRDS'19)", month = oct, year = "2000", ficheiro = "HM-CD1" } @inproceedings{Miranda:00b, author = {Hugo Miranda and Lu{\'\i}s Rodrigues}, title = {Balancing configurability and efficiency in network support tools}, booktitle = {Proceedings of the 9th workshop on ACM SIGOPS European workshop}, year = 2000, isbn = {1-23456-789-0}, pages = {223--228}, location = {Kolding, Denmark}, doi = {10.1145/566726.566771}, publisher = {ACM Press}, month = sep # { 17--20} } @InProceedings{Miranda:01, author = {Hugo Miranda and Alexandre Pinto and Lu{\'\i}s Rodrigues}, title = {Appia, a flexible protocol kernel supporting multiple coordinated channels}, booktitle = {Proceedings of The 21st International Conference on Distributed Computing Systems (ICDCS-21)}, pages = {707--710}, year = 2001, address = {Phoenix, Arizona, USA}, month = apr # " 16--19", publisher = {IEEE Computer Society}, papel = "HM-D2", ficheiro = "HM-CD1" } @MastersThesis{Miranda:01a, author = {Hugo Miranda}, title = {Plataforma de suporte ao desenvolvimento e composi{\c c}{\~a}o de malhas de protocolos}, school = {Departamento de Inform{\'a}tica - Universidade de Lisboa}, year = 2001, month = may, ficheiro = "HM-CD1", papel = {HM-T2}, } @InProceedings{Miranda:02, author = {Hugo Miranda and Lu{\'\i}s Rodrigues}, title = {Preventing selfishness in open mobile ad hoc networks}, booktitle = {Proceedings of the $7{^th}$ CaberNet Radicals Workshop}, year = 2002, address = {Bertinoro - Italy}, month = oct # { 13--16}, ficheiro = "HM-CD1", papel = {HM-P12} } @InProceedings{Miranda:03, author = {Hugo Miranda and Lu{\'\i}s Rodrigues}, title = {Friends and Foes: Preventing Selfishness in Open Mobile Ad Hoc Networks}, booktitle = {Proceedings of the International Workshop on Mobile Distributed Computing (MDC'03), in conjunction with the 23rd IEEE International Conference on Distributed Computing Systems (ICDCS)}, pages = {440--445}, year = 2003, address = {Providence, Rhode Island}, month = may # { 19--22}, publisher = {IEEE}, isbn = {0-7695-1921-0}, papel = {HM-D2,HM-P10}, ficheiro = {HM-CD1}, } @InProceedings{Miranda:05, author = {Hugo Miranda and Lu{\'\i}s Rodrigues}, title = {Using a Fairness Monitoring Service to Improve Load-Balancing in {DSR}}, booktitle = {Proceedings of the 1st International Workshop on Services and Infrastructure for the Ubiquitous and Mobile Internet (SIUMI'05), in conjunction with ICDCS'2005}, pages = {314--320}, year = 2005, address = {Columbus, Ohio}, month = Jun # { 6--10}, ficheiro = {HM-CD2}, } @TechReport{Miranda:05b, author = {Hugo Miranda and Simone Leggio and Lu{\'\i}s Rodrigues and Kimmo Raatikainen}, title = {A Stateless Neighbour-Aware Cooperative Caching Protocol for Ad-Hoc Networks}, institution = {Computer Science Department, University of Helsinki}, month = dec, year = 2005, number = {C--2005--76}, note = {Also as Technical Report Number 05--23. Department of Informatics, University of Lisbon}, ficheiro = {HM-CD2}, } @InProceedings{Miranda:06a, author = {Hugo Miranda and Lu{\'\i}s Rodrigues}, title = {A Two-Side Perspective on Cooperation in Mobile Ad Hoc Networks}, booktitle = {Proceedings of the Conference on Mobile and Ubiquitous Systems}, pages = {109--118}, year = 2006, editor = {Rui Jos{\'e} and Carlos Baquero}, address = {Guimar{\~a}es, Portugal}, month = jun # { 29--30}, organization = {Escola de Engenharia - Universidade do Minho}, papel = {HM-P17}, ficheiro = {HM-CD2}, } @InProceedings{Miranda:06b, author = {Hugo Miranda and Lu{\'\i}s Rodrigues}, title = {A Framework to Provide Anonymity in Reputation Systems}, booktitle = {Proceedings of the 3rd Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS 2006)}, year = 2006, address = {San Jose, CA}, month = jul # { 17--21}, ISBN = {1-4244-0499-1}, ficheiro = {HM-CD2}, } @InBook{Miranda:06c, author = {Hugo Miranda and Simone Leggio and Lu{\'\i}s Rodrigues and Kimmo Raatikainen}, editor = {Roberto Baldoni and Giovanni Cortese and Fabrizio Davide and Angelo Melpignano}, title = {Global Data Management}, chapter = {Epidemic Dissemination for Probabilistic Data Storage}, publisher = {IOS Press}, year = 2006, volume = 8, series = {Emerging Communication: Studies in New Technologies and Practices in Communication}, address = {Nieuwe Hemweg 6B, 1013 BG Amsterdam, The Netherlands}, month = jul, pages = {124--145}, ISBN = {1-58603-629-7}, ficheiro = {HM-CD2}, } @InProceedings{Miranda:06d, author = {Hugo Miranda and Simone Leggio and Lu{\'\i}s Rodrigues and Kimmo Raatikainen}, title = {A Power-Aware Broadcasting Algorithm}, booktitle = {Proceedings of The 17th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC'06)}, year = 2006, address = {Helsinki, Finland}, month = sep # { 11--14}, organization = {University of Oulu}, ficheiro = {HM-CD2}, doi = {10.1109/PIMRC.2006.254191} } @InProceedings{Miranda:06e, author = {Hugo Miranda and Simone Leggio and Lu{\'\i}s Rodrigues and Kimmo Raatikainen}, title = {An Algorithm for Distributing and Retrieving Information in Sensor Networks}, booktitle = {Proceedings of the 10th International Conference On Principles of Distributed Systems (OPODIS 2006) - Part II - Brief Announcements}, pages = {31--45}, year = 2006, address = {Bordeaux, France}, month = dec # { 12--15}, papel = {HM-P20} } @InProceedings{Miranda:07, author = {Hugo Miranda and Simone Leggio and Lu{\'\i}s Rodrigues and Kimmo Raatikainen}, title = {An Algorithm for Dissemination and Retrieval of Information in Wireless Ad Hoc Networks}, booktitle = {Proceedings of the 13th International Euro-Par Conference, Euro-Par 2007}, pages = {891--900}, year = 2007, editor = {Anne-Marie Kermarrec and Luc Boug{\'e} and Thierry Priol}, volume = 4641, series = {Lecture Notes in Computer Science}, address = {Rennes, France}, month = aug # { 28--31}, publisher = {Springer} } @PhdThesis{Miranda:07b, author = {Hugo Miranda}, title = {Gossip-Based Data Distribution in Mobile Ad Hoc Networks}, school = {Universidade de Lisboa}, year = 2007, address = {Campo Grande, 1749-016 Lisboa - Portugal}, month = oct # { 10} } @InProceedings{Miranda:07c, author = {Hugo Miranda and Simone Leggio and Lu{\'\i}s Rodrigues and Kimmo Raatikainen}, title = {Removing Probabilities to Improve Efficiency in Broadcast Algorithms}, booktitle = {Proceedings of the 5th MiNEMA Workshop}, year = 2007, address = {Magdeburg, Germany}, month = sep # { 11--12}, organization = {Otto-von-Guericke University of Magdeburg} } @InProceedings{Miranda:08a, author = {Hugo Miranda and Simone Leggio and Lu{\'\i}s Rodrigues and Kimmo Raatikainen}, title = {A Framework for Data Dissemination in Mobile Ad Hoc Networks}, booktitle = {Proceedings of the 7th MiNEMA Workshop}, year = 2008, address = {Lappeenranta, Finland}, month = aug # { 21} } @Article{Miranda:09, author = {H. Miranda and S. Leggio and L. Rodrigues and K. Raatikainen}, title = {An algorithm for dissemination and retrieval of information in wireless ad hoc networks}, journal = {Concurrency and Computation: Practice and Experience}, year = 2009, volume = 21, number = 7, pages = {889--904}, month = may, doi = {10.1002/cpe.1380}, abstract = {Replication of data items among different nodes of a wireless infrastructure-less network may be an efficient technique to increase data availability and improve data access latency. This paper proposes a novel algorithm to distribute data items among nodes in these networks. The goal of the algorithm is to deploy the replicas of the data items in such a way that they are sufficiently distant from each other to prevent excessive redundancy but, simultaneously, they remain close enough to each participant, such that data retrieval can be achieved using a small number of messages. The paper describes the algorithm and provides its performance evaluation for different configurations.}, } @Article{Miranda:10, author = {Hugo Miranda and Lu{\'\i}s Rodrigues}, title = {Reputation in anonymous vehicular networks}, journal = {International Journal on Autonomous and Adaptive Communications Systems}, year = 2010, volume = 3, number = 2, pages = {178--197}, abstract = {Vehicular ad hoc networks are a promising technology to increase the quality of the driving experience. However, networked vehicles will expose driversâ personal information. This can unintentionally compromise driversâ privacy. To mitigate this problem, one can rely on pseudonyms, which conceal a userâs real identity. Unfortunately, pseudonyms may interfere with reputation systems that are often used to assert the reliability of the information provided by the users. In this paper, we describe a framework to combine anonymity and reputation systems. Although users are never required to disclose their real identity, even to trusted third parties, they are allowed to switch pseudonyms, and transfer the reputation they acquired in the past. Simultaneously, the framework provides additional guarantees against tampering, such as preventing users from acquiring multiple personalities.} } @InProceedings{Mocito:04, author = {Jos{\'e} Mocito and Liliana Rosa and Nuno Almeida and Hugo Miranda and Lu{\'\i}s Rodrigues}, title = {Adapta{\c c}{\~a}o ao Contexto em Sistemas de Comunica{\c c}{\~a}o Heterog{\'e}neos}, booktitle = {Actas da 7$^a$ Confer{\^e}ncia Sobre Redes de Computadores, CRC'2004}, pages = {25--36}, year = 2004, editor = {Alexandre Santos and Pedro Veiga}, address = {Leiria, Portugal}, month = oct # { 7--8}, organization = {Universidade do Minho}, publisher = {Funda{\c c}{\~a}o para a Computa{\c c}{\~a}o Cient{\'\i}fica Nacional}, papel = {HM-P16}, ficheiro = {HM-C19 camready23_1.pdf, HM-CD1} } @InProceedings{Mocito:05a, author = {Jos{\'e} Mocito and Liliana Rosa and Nuno Almeida and Hugo Miranda and Lu{\'\i}s Rodrigues and Ant{\'o}nia Lopes}, title = {Context Adaptation of the Communication Stack}, booktitle = {Proceedings of the 3rd International Workshop on Mobile Distributed Computing (MDC'05), in conjunction with ICDCS'2005}, pages = {652--655}, year = 2005, address = {Columbus, Ohio}, month = jun # { 6--10}, ficheiro = {HM-CD2}, } @Article{Mocito:06, author = {Jos{\'e} Mocito and Liliana Rosa and Nuno Almeida and Hugo Miranda and Lu{\'\i}s Rodrigues and Ant{\'o}nia Lopes}, title = {Context adaptation of the communication stack }, journal = {International Journal of Parallel, Emergent and Distributed Systems}, year = 2006, volume = 21, number = 3, pages = {169--181}, month = jun, ficheiro = {HM-CD2}, } @inproceedings{Mocito:06a, author = {Mocito, Jos{\'e} and Rodrigues, Lu{\'\i}s}, title = {Run-Time Switching Between Total Order Algorithms}, address = {Dresden, Germany}, booktitle = {Proceedings of the Euro-Par 2006}, pages = {582--591}, month = {August}, year = 2006, publisher = {Springer-Verlag}, doi = {10.1007/11823285\_60}, papel = {HM-D6} } @inproceedings{Mocito:08, author = {Jos\'{e} Mocito and J. Alfonso Briones-Garc\'{\i}a and Boris Koldehofe and Hugo Miranda and Lu\'{\i}s Rodrigues}, title = {Geographical distribution of subscriptions for content-based publish/subscribe in MANETs}, booktitle = {Proceedings of the ACM/IFIP/USENIX Middleware '08 Conference Companion}, year = 2008, isbn = {978-1-60558-369-3}, pages = {102--103}, location = {Leuven, Belgium}, doi = {10.1145/1462735.1462764}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{Mocito:10, author = {Mocito, Jos\'{e} and Rodrigues, Lu\'{\i}s and Miranda, Hugo}, title = {Communication and coordination support in ad hoc networks for emergency management scenarios}, booktitle = {Proceedings of the 6th International Wireless Communications and Mobile Computing Conference (IWCMC '10)}, year = 2010, isbn = {978-1-4503-0062-9}, pages = {499--503}, location = {Caen, France}, doi = {10.1145/1815396.1815512}, publisher = {ACM}, address = {New York, NY, USA}, } @incollection{Mocito:10a, author = {Mocito, Jos{\'e} and Rodrigues, Lu{\'\i}s and Miranda, Hugo}, title = {@Flood: Auto-Tunable Flooding for Wireless Ad Hoc Networks}, booktitle = {Euro-Par 2010 - Parallel Processing}, series = {Lecture Notes in Computer Science}, editor = {D'Ambra, Pasqua and Guarracino, Mario and Talia, Domenico}, publisher = {Springer Berlin / Heidelberg}, pages = {478--489}, volume = 6272, doi = {10.1007/978-3-642-15291-7_45}, abstract = {Flooding is a fundamental building block in multi-hop networks (both mobile and static); for instance, many routing protocols for wireless ad hoc networks use flooding as part of their route discovery/maintenance procedures. Unfortunately, most flooding algorithms have configuration parameters that must be tuned according to the execution environment, in order to provide the best possible performance. Given that ad hoc environments are inherently unpredictable, dynamic, and often heterogeneous, anticipating the most adequate configuration of these algorithms is a challenging task. This paper presents @Flood, an adaptive protocol for flooding in wireless ad hoc networks that allows each node to auto-tune the configuration parameters, or even change the forwarding algorithm, according to the properties of the execution environment. Using @Flood, nodes auto-configure themselves, circumventing the need for pre-configuring all the devices in the network for the expected operational conditions, which is impractical or even impossible in very dynamic environments.}, year = 2010, month = aug } @INPROCEEDINGS{Mocito:11, author = {Mocito, Jose and Denysyuk, Oksana and Rodrigues, Luis and Miranda, Hugo}, booktitle = {In Proceedings of the IEEE 36th Conference on Local Computer Networks (LCN)}, title = {Topology Stability-Aware Multicast Protocol for MANETs}, year = 2011, month = oct, pages = {287--290}, abstract = {Multicast is an important building block for many applications in MANETs, including data dissemination, service discovery, publish-subscribe, among others. Therefore, it has been widely studied and many solutions can be found in the literature. However, most existing multicast protocols are tailored to a specific type of mobility pattern and therefore are unable to excel in face of heterogeneous topology stability conditions. This paper proposes and evaluates TSAMP, a Topology Stability-Aware Multicast Protocol for MANETs that exploits locally perceived mobility conditions in order to promote the use of stable routes, when available.}, doi = {10.1109/LCN.2011.6115305}, ISSN = {0742-1303}, } @InProceedings{Monteiro:01, author = {M. Jo{\~a}o Monteiro and Sandra Teixeira and Hugo Miranda and Lu{\'i}s Rodrigues}, title = {Um servi{\c c}o de replica{\c c}{\~a}o transparente de servidores {CORBA} utilizando sincronia virtual}, booktitle = {Actas da 4$^a$ Confer{\^e}ncia sobre Redes de Computadores}, year = 2001, address = {Covilh{\~a}, Portugal}, month = nov # {29--30}, organization = {Universidade de Aveiro}, ficheiro = "HM-CD1" } @inproceedings{Pinto:01, author = "Pinto, A. and Miranda, H. and Rodrigues, L.", address = " Bertinoro (Forli),Italy", booktitle = "Fourth European Research Seminar on Advances in Distributed Systems (ERSADS'01)", month = may, title = "Light-Weight Groups: an implementation in {Ensemble}", year = 2001, ficheiro = "HM-CD1" } @INPROCEEDINGS{Reis:11, author = {Reis, Diogo and Miranda, Hugo}, booktitle = {Procs. of the 10th IEEE International Symposium on Network Computing and Applications (NCA 2011)}, title = {A Framework for Transparent Active Replication in Remote Method Invocation}, year = 2011, month = aug # { 25--27}, pages = {281--284}, abstract = {The Java Remote Method Invocation (RMI) simplifies the development of distributed applications. However, the specification relies on the client/server communication paradigm, creating a single point of failure at the server side. To address this issue, some approaches extend RMI syntax and semantic to encompass fault tolerance. However, this solution is neither transparent for the application programmer nor for the client. This paper describes a middleware platform that enhances JRMI with strong replica consistency. The middleware is completely transparent for the client and does not require recoding on the server side.}, doi = {10.1109/NCA.2011.47}, } @inproceedings{Reis:12, author = {Reis, Diogo and Miranda, Hugo}, title = {{FTRMI}: fault-tolerant transparent {RMI}}, booktitle = {Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC '12)}, year = 2012, isbn = {978-1-4503-0857-1}, location = {Trento, Italy}, pages = {511--518}, numpages = 8, doi = {10.1145/2245276.2245374}, acmid = 2245374, publisher = {ACM}, address = {New York, NY, USA}, keywords = {JRMI, distributed systems, fault tolerance, replication}, } @article{Reis:12a, author = {Reis, Diogo and Miranda, Hugo}, title = {Transparently increasing {RMI} fault tolerance}, journal = {SIGAPP Appl. Comput. Rev.}, volume = 12, number = 2, month = jun, year = 2012, issn = {1559-6915}, pages = {18--26}, numpages = 9, doi = {10.1145/2340416.2340418}, acmid = 2340418, publisher = {ACM}, address = {New York, NY, USA}, keywords = {JRMI, distributed systems, fault tolerance, replication}, } @InProceedings{Rodrigues:01, author = "Rodrigues, J. and Miranda, H. and Ventura, J. and Rodrigues, L.", title = "The design of {RTAppia}", booktitle = "Proceedings of the Sixth IEEE International Workshop on Object-oriented Real-Time Dependable Systems", month = jan, publisher = "IEEE", pages = "261-268", address = "Rome, Italy", year = 2001, ficheiro = "HM-CD1", doi = "10.1109/WORDS.2001.945139", isbn = "0-7695-1068-X" } @InProceedings{Rodrigues:02, author = "Rodrigues, L. and Miranda, H. and Almeida, R. and Martins, J. and and Vicente, P.", title = "Strong Replication in the GlobData Middleware", booktitle = "Proceedings of the Workshop on Dependable Middleware-Based Systems", month = jun # { 26}, publisher = "IEEE", pages = "G96--G104", address = "Washington D.C., USA", year = 2002, note = "(Suplemental Volume of the 2002 Dependable Systems and Networks Conference, DSN 2002)", ficheiro = "HM-CD1" } @InProceedings{Rodrigues:02a, author = {Lu{\'\i}s Rodrigues and Hugo Miranda and Ricardo Almeida and Jo{\~a}o Martins and Pedro Vicente}, title = {The {GlobData} Fault-Tolerant Replicated Distributed Object Database}, booktitle = {Proceedings of the EurAsia-ICT 2002: Information and Communication Technology}, pages = {426--433}, year = 2002, editor = {Hassan Shafazand and A Min Tjoa}, number = 2510, series = {Lecture Notes in Computer Science}, address = {Shiraz, Iran}, month = oct # { 29--31}, publisher = {Springer}, papel = {HM-D2} } @INPROCEEDINGS{Schnitzer:12, author = {Schnitzer, Stephan and Miranda, Hugo and Koldehofe, Boris}, booktitle = {IEEE 37th Conference on Local Computer Networks Workshops (LCN 2012 Workshops)}, title = {Content routing algorithms to support Publish/Subscribe in Mobile Ad Hoc Networks}, year = 2012, month = oct # { 22--25}, pages = {1053--1060}, abstract = {Mobile Ad Hoc Networks (MANETs) allow communication between moving nodes without using infrastructure like access points, stationary routers or GPS. This offers new communication opportunities, especially in challenging environments. To communicate in MANETs we often need routing functionality, which usually provides unicast-based best effort packet delivery. Publish/Subscribe (Pub/Sub) is a well known and powerful paradigm that provides higher expressiveness than unicast routing. It decouples senders from receivers and allows information exchange between network nodes that offer certain data (called publishers) and nodes that declare their interest in data of some pattern (called subscribers). Especially in MANET applications, Pub/Sub provides useful functionality to support realistic scenarios and novel applications. This paper proposes a new algorithm called TPSR, tailored to efficiently support Pub/Sub in MANETs. It is based mainly on two principles: i) it uses the dissemination of subscriptions to create source routes; and ii) it uses the signal strength messages are received with, to optimize routes in terms of striking a good balance between long routes and fragile routes. Simulations based on ns-2 demonstrate its performance, in comparison with flooding and unicast-based solutions.}, doi = {10.1109/LCNW.2012.6424043}, } @InProceedings{Silva:15, author = {Jo{\~a}o Silva and Xavier Vila{\c c}a and Lu{\'\i}s Rodrigues and Hugo Miranda}, title = {Detec{\c c}{\~a}o eficiente de comportamento parasita em sistemas de difus{\~a}o entre-pares}, booktitle = {INFORUM 2015 - Atas do 7$^o$ Simp{\'o}sio Nacional de Inform{\'a}tica}, year = 2015, editor = {Lu{\'\i}s Veiga and Ricardo Rocha}, pages = {203--218}, month = sep # { 7--8}, address = {Covilh{\~a}, Portugal}, organization = {Universidade da Beira Interior}, publisher = {UBI - Universidade da Beira Interior. Servi{\c c}os Gr{\'a}ficos}, ISBN = {978-989-654-248-1} } @INPROCEEDINGS{Silva:15a, author = {Silva, Jo{\~a}o and Vila{\c c}a, Xavier and Miranda, Hugo and Rodrigues, Lu{\'\i}s}, booktitle = {Proceedings of the 14th IEEE International Symposium on Network Computing and Applications (NCA'2015)}, title = {Efficient Free-Rider Detection Using Symmetric Overlays}, year = 2015, pages = {263--266}, abstract = {Edge-computing is one of the most promising techniques to leverage the excess capacity that exists at users' premises. Unfortunately, it may be vulnerable to free-riding, i.e., To nodes that attempt to benefit from the infrastructure without providing any service in return. In this short paper we address free-riding in the context of edge-assisted streaming and propose the use of carefully crafted symmetric overlays to support message dissemination and efficient free-rider detection.}, keywords = {Image edge detection;Maintenance engineering;Monitoring;Overlay networks;Peer-to-peer computing;Protocols;Topology;Free-riding;Overlay-Networks;Peer-to-peer;Streaming}, doi = {10.1109/NCA.2015.21}, month = Sep # { 28--30}, address = {Cambridge, MA, USA}, isbn = {978-1-5090-1848-2}, publisher = {IEEE} } @InProceedings{Silva:16, author = {J. Silva and X. Vilaça and H. Miranda and L. Rodrigues}, title = {Efficient Free-Rider Detection Using Symmetric Overlays}, booktitle = {Proceedings of the IEEE 36th International Conference on Distributed Computing Systems (ICDCS)}, year = 2016, series = {ICDCS}, pages = {749--750}, month = jun # { 27--30}, address = {Nara, Japan}, publisher = {IEEE}, note = {extended abstract}, doi = {10.1109/ICDCS.2016.17}, ISSN = {1063-6927}, ISBN = {978-1-5090-1483-5}, } @InProceedings{Teixeira:02, author = {Sandra Teixeira and Pedro Vicente and Alexandre Pinto and Hugo Miranda and Luis Rodrigues and Jorge Martins and Ant{\'o}nio Rito-Silva}, title = {Configuring the communication middleware to support multi-user object-oriented environments}, booktitle = {On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE - Confederated International Conferences CoopIS, DOA, and ODBASE 2002 Proceedings}, pages = {965-980}, year = 2002, editor = {R. Meersman and Z. Tari and et al.}, number = 2519, series = {Lecture Notes in Computer Science}, publisher = {Springer}, papel = {HM-D2}, ficheiro = "HM-CD1" } @InProceedings{Teixeira:02a, author = {Sandra Teixeira and Pedro Vicente and Alexandre Pinto and Hugo Miranda and Lu{\'\i}s Rodrigues and Jorge Martins and Ant{\'o}nio Rito Silva}, title = {Configura{\c c}{\~a}o do Suporte de Comunica{\c c}{\~a}o em Ambientes Multi-Utilizador Orientados aos Objectos}, booktitle = {Actas da 5$^a$ Conferência sobre Redes de Computadores - Protocolos, Tecnologias e Aplica{\c c}{\~o}es Rumo {\`a} Internet 2 - Poster session}, year = 2002, address = {Faro, Portugal}, month = sep # {26--27}, organization = {FCCN e Universidade de Coimbra}, ficheiro = "HM-CD1" } @InProceedings{Vicente:01, author = {Pedro Vicente and Hugo Miranda and Lu{\'i}s Rodrigues}, title = {Protocolo H{\'i}brido de ordem total uniforme com entrega optimista}, booktitle = {Actas da 4$^a$ Confer{\^e}ncia sobre Redes de Computadores, sess{\~a}o de cartazes}, year = 2001, address = {Covilh{\~a}, Portugal}, month = nov # {29--30}, organization = {Universidade de Aveiro}, ficheiro = "HM-CD1" } @inproceedings{Vilaca:17, author = {Vila\c{c}a, Xavier and Rodrigues, Lu\'{\i}s and Silva, Jo\~{a}o and Miranda, Hugo}, title = {{FastRank}: Practical Lightweight Tolerance to Rational Behaviour in Edge Assisted Streaming}, booktitle = {Proceedings of the 18th International Conference on Distributed Computing and Networking}, series = {ICDCN '17}, year = 2017, month = jan # { 5--7}, isbn = {978-1-4503-4839-3}, address = {Hyderabad, India}, pages = {21:1--21:10}, articleno = 21, numpages = 10, doi = {10.1145/3007748.3007750}, acmid = 3007750, publisher = {ACM}, } @article{Vilaca:18, title = "FastRank: Practical lightweight tolerance to rational behavior in edge assisted streaming", journal = "Pervasive and Mobile Computing", volume = 46, month = jun, pages = "18--33", year = 2018, issn = "1574-1192", doi = "10.1016/j.pmcj.2018.02.005", url = "http://www.sciencedirect.com/science/article/pii/S157411921730353X", author = "Xavier Vila{\c c}a and Lu{\'\i}s Rodrigues and Jo{\~a}o Silva and Hugo Miranda and Gustavo Correia and Tiago Maur{\'\i}cio", keywords = "Edge computing, Streaming, Rational behavior", abstract = "Edge-computing is one of the most promising techniques to leverage the excess capacity that exists at users’ premises. Unfortunately, edge-computing may be vulnerable to free-riding, i.e., to nodes that attempt to benefit from the system without providing any service in return. Traditional approaches model free-riders as rational nodes that strive to maximize a utility and apply Game Theory concepts to devise mechanisms that deny any utility gain to nodes that deviate from the protocol. These mechanisms impose significant overhead. This paper proposes a new approach that avoids these overheads by applying concepts of evolutionary game theory. We propose to devise lightweight mechanisms targeted for the optimistic setting where the vast majority of nodes adopts one of a small number of behaviors. More precisely, we assume that most nodes are altruistic or follow non-sophisticated behaviors such as free-riding or white-washing. If a small fraction of nodes follows alternative behaviors, then our lightweight mechanism limits the utility gain of these nodes, making it unlikely that the number of nodes exploiting sophisticated behaviors increases at a fast pace. This allows altruistic nodes to detect their presence in time to switch to more robust mechanisms, before the system reaches a state where the lightweight mechanisms can no longer cope with the existing behaviors. We apply this approach in the context of edge-assisted streaming." } @article{Weatherspoon:07, author = {Hakim Weatherspoon and Hugo Miranda and Konrad Iwanicki and Ali Ghodsi and Yann Busnel}, title = {Gossiping over storage systems is practical}, journal = {SIGOPS Operating Systems Review}, volume = 41, number = 5, year = 2007, issn = {0163-5980}, pages = {75--81}, doi = {10.1145/1317379.1317391}, publisher = {ACM}, address = {New York, NY, USA}, } @inproceedings{Winstanley:12, author = {Winstanley, Christopher and Ramdhany, Rajiv and Ta\"{\i}ani, Fran\c{c}ois and Porter, Barry and Miranda, Hugo}, title = {PAMPA in the wild: a real-life evaluation of a lightweight ad-hoc broadcasting family}, booktitle = {Proceedings of the 7th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks}, series = {MidSens '12}, year = 2012, isbn = {978-1-4503-1610-1}, location = {Montreal, Quebec, Canada}, pages = {3:1--3:6}, articleno = 3, numpages = 6, doi = {10.1145/2405167.2405170}, acmid = 2405170, publisher = {ACM}, address = {New York, NY, USA}, keywords = {MANETs, broadcast algorithms, wireless sensor network (WSN)}, } @Article{Winstanley:14, AUTHOR = {Winstanley, Christopher and Ramdhany, Rajiv and Ta{\"\i}ani, Francois and Porter, Barry and Miranda, Hugo}, TITLE = {{PAMPA} in the wild: a real-life evaluation of a lightweight ad-hoc broadcasting family}, JOURNAL = {Journal of Internet Services and Applications}, VOLUME = 5, YEAR = 2014, month = apr, NUMBER = 5, URL = {http://www.jisajournal.com/content/5/1/5}, DOI = {10.1186/1869-0238-5-5}, ISSN = {1869-0238}, ABSTRACT = {Broadcast is one of the core building blocks of many services deployed on ad-hoc wireless networks, such as Mobile Ad-Hoc Networks (MANETs) or Wireless Sensor Networks (WSNs). Most broadcast protocols are however only ever evaluated using simulations, which have repeatedly been shown to be unreliable, and potentially misleading. In this paper, we seek to go beyond simulations, and consider the particular case of PAMPA, a promising family of wireless broadcast algorithms for ad-hoc and wireless networks. We report on our efforts to further our experimental understanding of PAMPA, and present the first ever characterisation of the PAMPA family on a real deployment. Here it has to deal with real network problems such as node, message and sending failure. Our experiments show that the standard PAMPA algorithm out-performs all other protocols in the family, with a delivery ratio consistently around 75\%, and a retransmission ratio as low as 44\%, for a failure-free run. We use this opportunity to reflect on our findings and lessons learnt when moving from simulations to actual experiments.}, }