|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3150 occurrences of 1305 keywords
|
|
|
Results
Found 5858 publication records. Showing 5858 according to the selection in the facets
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 |
Displaying result #501 - #600 of 5858 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|