Search results for "Overlay"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Jens Mache, David Ely, Melanie Gilbert, Jason Gimba, Thierry Lopez, Matthew Wilkinson	Modifying the Overlay Network of Freenet-Style Peer-to-Peer Systems after Successful Request Queries.	HICSS	2004	DBLP DOI BibTeX RDF
27	Xuxian Jiang, Dongyan Xu	VIOLIN: Virtual Internetworking on Overlay Infrastructure.	ISPA	2004	DBLP DOI BibTeX RDF
27	Chanmo Park, JongWon Kim 0001	Efficient Overlay Network for P2P Content Sharing Based on Network Identifier.	PCM (2)	2004	DBLP DOI BibTeX RDF
27	Dennis M. Moen, J. Mark Pullen, Fei Zhao	Implementation of Host-Based Overlay Multicast to Support of Web Based Services for RT-DVS.	DS-RT	2004	DBLP DOI BibTeX RDF
27	Baochun Li, Jiang Guo, Mea Wang	iOverlay: A Lightweight Middleware Infrastructure for Overlay Application Implementations.	Middleware	2004	DBLP DOI BibTeX RDF
27	Shashidhar Merugu, Sridhar Srinivasan, Ellen W. Zegura	Adding Structure to Unstructured Peer-to-Peer Networks: The Role of Overlay Topology.	Networked Group Communication	2003	DBLP DOI BibTeX RDF
27	Sylvain Martin, Guy Leduc	A Dynamic Neighbourhood Discovery Protocol for Active Overlay Networks.	IWAN	2003	DBLP DOI BibTeX RDF
27	Azer Bestavros, Shudong Jin	OSMOSIS: Scalable Delivery of Real-Time Streaming Media in Ad-Hoc Overlay Networks.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
27	Rongmei Zhang, Y. Charlie Hu, Peter Druschel	Optimizing Routing in Structured Peer-to-Peer Overlay Networks Using Routing Table Redundancy.	FTDCS	2003	DBLP DOI BibTeX RDF
27	Chai Kiat Yeo, Bu-Sung Lee, Meng Hwa Er	An Overlay for Ubiquitous Streaming over Internet.	NETWORKING	2002	DBLP DOI BibTeX RDF
27	Weidong Cui, Ion Stoica, Randy H. Katz	Backup Path Allocation Based on a Correlated Link Failure Probability Model in Overlay Networks.	ICNP	2002	DBLP DOI BibTeX RDF
27	Ken Masamune, Gabor Fichtinger, Anton Deguet, Daisuke Matsuka, Russell H. Taylor	An Image Overlay System with Enhanced Reality for Percutaneous Therapy Performed Inside CT Scanner.	MICCAI (2)	2002	DBLP DOI BibTeX RDF
26	Jesse S. A. Bridgewater, P. Oscar Boykin, Vwani P. Roychowdhury	Balanced Overlay Networks (BON): An Overlay Technology for Decentralized Load Balancing.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	load balancing, Distributed computing, randomized algorithms, random walks, random graphs
24	Andrea Brunello, Alessandro Gianola, Fabio Mogavero (eds.)	Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023.	OVERLAY@AI*IA	2024	DBLP BibTeX RDF
24	Marco Sälzer, Eric Alsmann, Martin Lange	On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Francesco Chiariello	Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri	Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Giuseppe De Giacomo, Marco Favorito, Luciana Silo	Composition of Nondeterministic Services for LTLf Task Specification.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Marco Favorito	Forward LTLf Synthesis: DPLL At Work.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Giovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan	Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo	A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos	Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi	Clock Specifications for Temporal Tasks in Planning and Learning.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Luca Olivieri, Luca Pasetto	Towards Compliance of Smart Contracts with the European Union Data Act.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Thao Dang 0001	Formal Design of Cyber-Physical Systems with Learning-Enabled Components.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace	Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Luca Geatti, Angelo Montanari, Nicola Saccomanno	Towards Machine Learning Enhanced LTL Monitoring.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Yannick Kees, Gerald Sauter, Ryan Mut, Benedikt Franke, Frank Köster, Sven Hallerbach	ODD-Based Health Monitoring and Predictive Maintenance of Degrading Vehicle Functionality.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Guido Sciavicco	A First-Order Interval Temporal Logic for Adjacent Variables Temporal Data.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
24	Mauro Milella, Giovanni Pagliarini, Andrea Paradiso, Ionel Eduard Stan	Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot	Constrained Training of Neural Networks via Theorem Proving.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Daniele Meli, Giulio Mazzi, Alberto Castellini, Alessandro Farinelli	From POMDP Executions to Probabilistic Axioms.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler	A Modular SMT-based Approach for Data-aware Conformance Checking.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Luca Geatti, Guido Sciavicco, Alessandro Umbrico (eds.)	Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Alessandro Burigana, Paolo Felli, Marco Montali	DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	David Heik, Fouad Bahrpeyma, Dirk Reichelt	An Application of Reinforcement Learning in Industrial Cyber-Physical Systems.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Matteo Zavatteri, Davide Bresolin, Romeo Rizzi, Tiziano Villa	Dynamic Controllability of Temporal Networks via Supervisory Control.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Munyque Mittelmann	Formally Reasoning about Strategies in Mechanisms.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Antonio Lieto, Gian Luca Pozzato, Manuel Striani, Stefano Zoia, Rossana Damiano	Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Silvia Stranieri	Reasoning about Reachability and Concurrency in DEL Games.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Marco Esposito, Leonardo Picchiami	Formal Certification of Surrogate Models for Cyber-Physical Systems Verification.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Alessandro Gianola, Nicola Gigante	LTL Modulo Theories over Finite Traces: modeling, verification, open questions.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing	Neural Network Verification with DSE.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Alessandro Gianola	Uniform Interpolation for the Automated Verification of Data-Aware Business Processes.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Swantje Plambeck, Görschwin Fey	Regression Trees for System Models and Prediction.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
24	Giulio Mazzi, Alberto Castellini, Alessandro Farinelli	Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Salvatore La Torre, Gennaro Parlato	Automated Planning Through Program Verification.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Anna Becchi, Alessandro Cimatti, Enea Zaffanella	Reverse engineering with P-stable Abstractions.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Marco Esposito, Leonardo Picchiami	Simulation-Based Synthesis of Personalised Therapies for Colorectal Cancer.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Marco Esposito	AI-guided optimal deployments of drone-intercepting systems in large critical areas.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Guido Sciavicco, Tiziano Villa, Matteo Zavatteri	Mining Temporal Networks: Results and Open Problems.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Angela Pappagallo	Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical Systems.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Alessandro Gianola, Marco Montali, Matteo Papini	Automated Reasoning for Reinforcement Learning Agents in Structured Environments.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Franc Ivankovic, Marco Roveri	Planning with Global State Constraints for Urban Traffic Control.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo	A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Rachid Adrdor, Lahcen Koutti	Using Directional Arc Consistency with Asynchronous Forward-Bounding algorithm.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Benedikt Böing, Rajarshi Roy 0002, Daniel Neider, Emmanuel Müller	QUGA - Quality Guarantees for Autoencoders.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Aliyu Tanko Ali, Damas P. Gruska	Dynamic Attack Trees.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Luca Geatti, Nicola Gigante, Angelo Montanari	BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Jannik Dunkelau, Leo Baldus	Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Marco Sälzer, Georg Siebert	Towards Learning From Graph Representable Formal Models.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Dario Della Monica, Gian Luca Pozzato, Enrico Scala (eds.)	Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier	On the Parameterized Verification of Abstract Models of Contact Tracing Protocols.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Laura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré	Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract).	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan	Multi-Frame Modal Symbolic Learning.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
24	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier	On the Formalization of Decentralized Contact Tracing Protocols.	OVERLAY	2020	DBLP BibTeX RDF
24	Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan	Symbolic Learning with Interval Temporal Logic: the Case of Regression.	OVERLAY	2020	DBLP BibTeX RDF
24	Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato	Theorem Proving for Non-normal Modal Logics.	OVERLAY	2020	DBLP BibTeX RDF
24	Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi	A kernel function for Signal Temporal Logic formulae.	OVERLAY	2020	DBLP BibTeX RDF
24	Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop	Formal Runtime Monitoring Approaches for Autonomous Vehicles.	OVERLAY	2020	DBLP BibTeX RDF
24	Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners	AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials.	OVERLAY	2020	DBLP BibTeX RDF
24	Alessandro Artale, Andrea Mazzullo, Ana Ozaki	Finite vs. Infinite Traces in Temporal Logics.	OVERLAY	2020	DBLP BibTeX RDF
24	Giulio Bernardi 0001, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico, Marta Cialdea Mayer	A Language for Timeline-based Planning.	OVERLAY	2020	DBLP BibTeX RDF
24	Riccardo De Benedictis, Luca Geretti, Andrea Micheli (eds.)	Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020.	OVERLAY	2020	DBLP BibTeX RDF
24	Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina	Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems.	OVERLAY	2020	DBLP BibTeX RDF
24	Salvatore La Torre, Gennaro Parlato	A Fixed-point Model-checker for BDI Logics over Finite-state Worlds.	OVERLAY	2020	DBLP BibTeX RDF
24	Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan	A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking.	OVERLAY	2020	DBLP BibTeX RDF
24	Peipei Wu, Yanjun Li	Reasoning in Multi-Agent Conformant Planning over Transition Systems.	OVERLAY	2020	DBLP BibTeX RDF
24	Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller	Bayesian Neural Predictive Monitoring.	OVERLAY	2020	DBLP BibTeX RDF
24	Igor Melatti, Vadim Alimguzhin, Federico Mari, Milan Prodanovic, Barry P. Hayes	Electricity Network Constraint Management using Individualised Demand Aware Price Policies.	OVERLAY	2020	DBLP BibTeX RDF
24	Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo	Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification.	OVERLAY	2020	DBLP BibTeX RDF
24	Qian Matteo Chen, Toni Mancini, Igor Melatti, Enrico Tronci, Alberto Finzi	Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence.	OVERLAY	2020	DBLP BibTeX RDF
23	Huei-Wen Ferng, Iwan Christanto	A Globally Overlaid Hierarchical P2P-SIP Architecture with Route Optimization.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	global overlay, Peer-to-peer, session initiation protocol, overlay network
23	Takuya Omizo, Kenji Masui, Katsuyoshi Iida	Design and Implementation of Inter-ISP Virtual Backbone Infrastructure to Meet Various QoS Requirements.	SAINT	2011	DBLP DOI BibTeX RDF	Overlay Router, QoS, Overlay Network, Virtual Backbone
23	Kazuyuki Shudo	Churn Tolerance Improvement Techniques in an Algorithm-Neutral DHT. (PDF / PS)	AIMS	2009	DBLP DOI BibTeX RDF	structured overlay, DHT, Overlay network, emulation, churn
22	Giovanni Chiola, Gennaro Cordasco, Luisa Gargano, Mikael Hammar, Alberto Negro, Vittorio Scarano	Degree-Optimal Routing for P2P Systems.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Peer-to-peer, Overlay network, Greedy routing
22	Francesco Malandrino, Claudio Casetti, Carla-Fabiana Chiasserini	Pub/sub content sharing for mobile networks format.	MobiHoc	2009	DBLP DOI BibTeX RDF	publish/subscribe protocol, overlay networks, content delivery, infomobility
22	Greg Eisenhauer, Matthew Wolf, Hasan Abbasi, Karsten Schwan	Event-based systems: opportunities and challenges at exascale.	DEBS	2009	DBLP DOI BibTeX RDF	communication, middleware, events, high-performance, overlay
22	Xuanjia Qiu, Chuan Wu 0001, Xiaola Lin, Francis Chi-Moon Lau	InstantLeap: fast neighbor discovery in P2P VoD streaming.	NOSSDAV	2009	DBLP DOI BibTeX RDF	indexing overlay, peer-to-peer network, video-on-demand, neighbor discovery
22	Chyouhwa Chen, Chia-Liang Tsai, Kun-Cheng Tsai	Fleet: An Effective System for Publish/Subscribe Service over P2P Networks.	ICA3PP	2009	DBLP DOI BibTeX RDF	peer-to-peer protocols, distributed hash table, P2P Networks, structured overlay networks
22	Shen Lin 0003, François Taïani, Gordon S. Blair	Exploiting Synergies between Coexisting Overlays.	DAIS	2009	DBLP DOI BibTeX RDF	overlay framework, gossip, coexistence, synergy
22	Igor Margasinski, Michal Pióro	Low-Latency Parallel Transport in Anonymous Peer-to-Peer Overlays.	IPOM	2008	DBLP DOI BibTeX RDF	overlay networks management, privacy, communication system security, peer-to-peer overlays, Communication system traffic
22	Yasuyuki Kusumoto, Susumu Date, Kohei Ichikawa, Shingo Takeda, Shinji Shimojo	A Communication Relay Mechanism toward Virtual Cluster Computing on the Grid.	SAINT	2008	DBLP DOI BibTeX RDF	Grid, virtualization, overlay network
22	Satoshi Matsuura, Kazutoshi Fujikawa, Hideki Sunahara	An Implementation Methodology of Geographical Location Based Peer-to-peer Networks for Managing Ubiquitous Sensors.	SAINT	2008	DBLP DOI BibTeX RDF	large scale sensor networks, peer-to-peer, overlay
22	Arijit Ganguly, P. Oscar Boykin, David Wolinsky, Renato J. O. Figueiredo	Improving peer connectivity in wide-area overlays of virtual workstations.	HPDC	2008	DBLP DOI BibTeX RDF	p2p, DHT, overlay, virtual network
22	Yamin Li, Shietung Peng, Wanming Chu	A Distributed Algorithm for Finding a Tree Trunk and its Application for Multicast in Mobile Ad Hoc Networks.	AINA	2008	DBLP DOI BibTeX RDF	overlay mesh, Mobile ad hoc networks, multicast, distributed algorithm, stability, efficiency
22	Paul Grace, Danny Hughes 0001, Barry Porter, Gordon S. Blair, Geoff Coulson, François Taïani	Experiences with open overlays: a middleware approach to network heterogeneity.	EuroSys	2008	DBLP DOI BibTeX RDF	WSN, middleware, framework, overlay network
22	Carles Pairot, Pedro García López, Rubén Mondéjar	Deploying Wide-Area Applications Is a Snap.	IEEE Internet Comput.	2007	DBLP DOI BibTeX RDF	structured overlay Networks Application Platform, middleware, interoperability, distributed objects, J2EE, Internet applications, SNAP
22	Ali Ghodsi 0002, Seif Haridi, Hakim Weatherspoon	Exploiting the synergy between gossiping and structured overlays.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF	gossip-based algorithms, distributed hash tables, structured overlay networks
22	James A. Hendler	Reinventing Academic Publishing, Part 2.	IEEE Intell. Syst.	2007	DBLP DOI BibTeX RDF	overlay journals, scientific publishing