Search results for "distributed protocols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Marina Gelastou, Chryssis Georgiou, Anna Philippou	On the Application of Formal Methods for Specifying and Verifying Distributed Protocols.	NCA	2008	DBLP DOI BibTeX RDF	Usability, Formal Methods, Applicability, Process Algebra, Distributed Protocols, I/O Automata
3	Indranil Gupta	On the design of distributed protocols from differential equations.	PODC	2004	DBLP DOI BibTeX RDF	endemic protocols, probabilistic protocols, science of protocol design, reliability, scalability, distributed protocols
2	Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith	Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.	ICFEM	2009	DBLP DOI BibTeX RDF
2	Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith	Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.	DISC	2009	DBLP DOI BibTeX RDF
2	John Papandriopoulos, Subhrakanti Dey, Jamie S. Evans	Optimal and distributed protocols for cross-layer design of physical and transport layers in MANETs.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	mobile ad hoc network, congestion control, power control, cross-layer optimization, outage probability, Rayleigh fading, network utility maximization
2	Dana Fisman, Orna Kupferman, Yoad Lustig	On Verifying Fault Tolerance of Distributed Protocols.	TACAS	2008	DBLP DOI BibTeX RDF
2	Nazanin Rahnavard, Badri N. Vellambi, Faramarz Fekri	Distributed Protocols for Finding Low-Cost Broadcast and Multicast Trees in Wireless Networks.	SECON	2008	DBLP DOI BibTeX RDF
2	Steven Y. Ko, Imranul Hoque, Indranil Gupta	Using Tractable and Realistic Churn Models to Analyze Quiescence Behavior of Distributed Protocols.	SRDS	2008	DBLP DOI BibTeX RDF
2	Indranil Gupta, Mahvesh Nagda, Christo Frank Devaraj	The design of novel distributed protocols from differential equations.	Distributed Computing	2007	DBLP DOI BibTeX RDF	Science of protocol design, Endemics, LV, Probabilistic protocols, Reliability, Scalability, Replication, Voting, Differential equations, Distributed protocols
2	Sukumar Ghosh, Arobinda Gupta, Ted Herman, Sriram V. Pemmaraju	Fault-containing self-stabilizing distributed protocols.	Distributed Computing	2007	DBLP DOI BibTeX RDF	Distributed algorithms, Transformer, Self-stabilization, Fault-containment
2	Vladimir Marbukh, Stephan Klink	Decentralized control of large-scale networks as a game with local interactions: cross-layer TCP/IP optimization.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	routing stability, optimization, game theory, TCP/IP, learning algorithms, distributed protocols, OSPF, randomized routing
2	Gopal Pandurangan, GaHyun Park	Analysis of Randomized Protocols for Conflict-Free Distributed Access.	Algorithmica	2007	DBLP DOI BibTeX RDF	Randomized distributed protocols, Conflict-free access
2	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Invisible Safety of Distributed Protocols.	ICALP	2006	DBLP DOI BibTeX RDF
2	Lívia M. R. Sampaio, Francisco Vilar Brasileiro, Walfredo Cirne, Jorge C. A. de Figueiredo	How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols.	DSN	2003	DBLP DOI BibTeX RDF
2	Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide	Dynamic Module Replacement in Distributed Protocols.	ICDCS	2003	DBLP DOI BibTeX RDF
2	Fernando Pedone	Boosting System Performance with Optimistic Distributed Protocols.	IEEE Computer	2001	DBLP DOI BibTeX RDF
2	Clemente Galdi, Pino Persiano	Private Computation with Shared Randomness over Broadcast Channel.	ICISC	2001	DBLP DOI BibTeX RDF	Secure Distributed Protocols, Private Function Evaluation, Broadcast Channel
2	Ricardo Couto Antunes da Rocha, Markus Endler	Flexible simulation of distributed protocols for mobile computing.	MSWiM	2000	DBLP DOI BibTeX RDF
2	Benoît Garbinato, Rachid Guerraoui	Flexible Protocol Composition in Bast.	ICDCS	1998	DBLP DOI BibTeX RDF	reliability, transactions, group communication, objects, distributed protocols
2	Richard Furuta, Jaime Navon, P. David Stotts	Subdocument invocation semantics in collaborative hyperdocuments. (PDF / PS)	WETICE	1995	DBLP DOI BibTeX RDF	subdocument invocation semantics, collaborative hyperdocuments, Trellis model, colored tokens, timed-Petri-net-based definition, multi-user distributed protocols, Computer Supported Cooperative Work, CSCW, Petri nets, protocols, specifications, groupware, hypermedia, rapid prototyping, client-server systems, software prototyping, client-server architecture
2	Baruch Awerbuch, George Varghese	Distributed Program Checking: a Paradigm for Building Self-stabilizing Distributed Protocols (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	spanning tree problems, distributed program checking, self-stabilizing distributed protocols, deterministic synchronous protocol, noninteractive tasks, compiler, shortest paths, time complexity, space complexity
1	Chris Hunter, Ashutosh Sabharwal	Distributed Protocols for Interference Management in Cooperative Networks	CoRR	2011	DBLP BibTeX RDF
1	Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri	Efficient model checking of fault-tolerant distributed protocols.	DSN	2011	DBLP DOI BibTeX RDF
1	Kaliappa Ravindran, Gwangyu Ding	Observer-based Testing of Distributed Protocols Designed for Harsh Environments.	ARES	2011	DBLP DOI BibTeX RDF
1	Péter Bokor, Marco Serafini, Neeraj Suri	On Efficient Models for Model Checking Message-Passing Distributed Protocols.	FMOODS/FORTE	2010	DBLP DOI BibTeX RDF
1	Amos Israeli, Mathew D. McCubbins, Ramamohan Paturi, Andrea Vattani	Low Memory Distributed Protocols for 2-Coloring.	SSS	2010	DBLP DOI BibTeX RDF
1	Dmitriy Kuptsov, Andrei Gurtov, Oscar García Morchon, Klaus Wehrle	Brief announcement: distributed trust management and revocation.	PODC	2010	DBLP DOI BibTeX RDF	security, trust management, distributed protocols
1	Daniel Phelps, Ming-Shan Su, Krishnaiyan Thulasiraman	Distributed testing and diagnosis in a mobile computing environment.	IWCMC	2010	DBLP DOI BibTeX RDF	distributed testing/diagnosis, ad hoc network, mobile computing, system level diagnosis
1	Ali Asim, Sébastien Tixeuil	Advanced faults patterns for WSN dependability benchmarking.	MSWiM	2010	DBLP DOI BibTeX RDF
1	Hariharan Rahul, Haitham Hassanieh, Dina Katabi	SourceSync: a distributed wireless architecture for exploiting sender diversity.	SIGCOMM	2010	DBLP DOI BibTeX RDF	sender diversity, symbol-level synchronization, wireless, cooperative diversity
1	Feng Xiao, Long Wang, Jie Chen 0003	General distributed protocols for finite-time consensus of multi-agent systems.	CDC	2009	DBLP DOI BibTeX RDF
1	Shankar M. Banik, Logan P. Daigle, Tao-hsiang Chang	Implementation and empirical evaluations of floor control protocols on PlanetLab network.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	floor control protocol, performance evaluation
1	Sándor P. Fekete, Dietmar Fey, Marcus Komann, Alexander Kröller, Marc Reichenbach, Christiane Schmidt	Distributed vision with smart pixels.	Symposium on Computational Geometry	2009	DBLP DOI BibTeX RDF	distributed vision, sweepline algorithms, distributed algorithms, principle component analysis, sublinear algorithms
1	Nandan Garg, Daniel Grosu	A Faithful Distributed Mechanism for Sharing the Cost of Multicast Transmissions.	IEEE Trans. Parallel Distrib. Syst.	2009	DBLP DOI BibTeX RDF
1	Gábor Balázsfalvi, János Sztrik	A Tool for Modeling Distributed Protocols.	Praxis der Informationsverarbeitung und Kommunikation	2008	DBLP DOI BibTeX RDF
1	Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni	A methodology to design arbitrary failure detectors for distributed protocols.	Journal of Systems Architecture - Embedded Systems Design	2008	DBLP DOI BibTeX RDF
1	Dimitris Kalles, Alexis C. Kaporis, Paul G. Spirakis	Myopic Distributed Protocols for Singleton and Independent-Resource Congestion Games.	WEA	2008	DBLP DOI BibTeX RDF
1	Nitesh Saxena, Md. Borhan Uddin, Jonathan Voris	Universal device pairing using an auxiliary device.	SOUPS	2008	DBLP DOI BibTeX RDF	mobile/ad-hoc systems, security, authentication, distributed protocols
1	Steven Y. Ko, Indranil Gupta, Yookyung Jo	A new class of nature-inspired algorithms for self-adaptive peer-to-peer computing.	TAAS	2008	DBLP DOI BibTeX RDF	autonomic computing and communication, bio-inspired techniques, probabilistic protocols, sequence equations, sequence protocols, adaptivity, grid computing, convergence, design methodology, distributed protocols, Complex adaptive systems, difference equations
1	Nitesh Saxena, Md. Borhan Uddin	Automated Device Pairing for Asymmetric Pairing Scenarios.	ICICS	2008	DBLP DOI BibTeX RDF	Mobile/Ad-Hoc Systems, Security, Distributed Protocols
1	Pablo Soldati, Björn Johansson, Mikael Johansson	Distributed cross-layer coordination of congestion control and resource allocation in S-TDMA wireless networks.	Wireless Networks	2008	DBLP DOI BibTeX RDF	Spatial-TDMA, Scheduling, Wireless networks, Power control, Distributed protocols, Decomposition methods
1	John S. Baras	Multi-hop mobile wireless network design: implicit cross-layer loss models and performance sensitivities.	MOBICOM	2008	DBLP DOI BibTeX RDF	loss models, performance sensitivity computation, wireless network design
1	Antonio Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo	A framework for dependable QoS adaptation in probabilistic environments.	SAC	2008	DBLP DOI BibTeX RDF	probabilistic QoS, dependability, QoS adaptation
1	Moran Gariby, Tal Gariby, Ram Zamir	Managing the Degree of Impulsiveness of Other Cell Interference.	ICC	2008	DBLP DOI BibTeX RDF
1	Gurashish Singh Brar, Douglas M. Blough, Paolo Santi	The SCREAM Approach for Efficient Distributed Scheduling with Physical Interference in Wireless Mesh Networks.	ICDCS	2008	DBLP DOI BibTeX RDF
1	Chia-Mu Yu, Chun-Shien Lu, Sy-Yen Kuo	Mobile Sensor Network Resilient Against Node Replication Attacks.	SECON	2008	DBLP DOI BibTeX RDF
1	Krzysztof Ostrowski, Ken Birman, Danny Dolev, Jong Hoon Ahnn	Programming with Live Distributed Objects.	ECOOP	2008	DBLP DOI BibTeX RDF
1	Luca Mottola, Gian Pietro Picco, Adil Amjad Sheikh	FiGaRo: Fine-Grained Software Reconfiguration for Wireless Sensor Networks.	EWSN	2008	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Monotonic Abstraction in Action.	ICTAC	2008	DBLP DOI BibTeX RDF
1	Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa, Linda Morales, Ivan Hal Sudborough	Calibrating an Embedded Protocol on an Asynchronous System.	IDC	2008	DBLP DOI BibTeX RDF	channel system, fault tolerance, embedding, asynchronous system
1	Chi-Fu Huang, Yu-Chee Tseng, Hsiao-Lu Wu	Distributed protocols for ensuring both coverage and connectivity of a wireless sensor network.	TOSN	2007	DBLP DOI BibTeX RDF	sensor network, Ad hoc network, wireless network, connectivity, coverage, power control, energy conservation
1	Doron Drusinsky, Man-tak Shing	Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
1	Pradip K. Srimani, Zhenyu Xu	Distributed Protocols for Defensive and Offensive Alliances in Network Graphs Using Self-Stabilization.	ICCTA	2007	DBLP DOI BibTeX RDF
1	Vandana Gunupudi, Stephen R. Tate	Random Oracle Instantiation in Distributed Protocols Using Trusted Platform Modules.	AINA Workshops	2007	DBLP DOI BibTeX RDF
1	Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni	A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols.	ISORC	2007	DBLP DOI BibTeX RDF
1	Shweta Jain, Samir R. Das, Himanshu Gupta	Distributed Protocols for Scheduling and Rate Control to Achieve Max-Min Fairness in Wireless Mesh Networks.	WOWMOM	2007	DBLP DOI BibTeX RDF
1	Vlady Ravelomanana	Optimal Initialization and Gossiping Algorithms for Random Radio Networks.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	self-configuration in ad hoc networks, randomized distributed protocols, fundamental limits of random radio networks, broadcasting, gossiping, initialization, information dissemination, naming, Multihop networks
1	Andreas Constantinides, E. G. Coffman	Optimal seamless self-assembly of files in linear networks.	Optimization Letters	2007	DBLP DOI BibTeX RDF	Seamless downloading, File-sharing networks, Cache networks, Self-assembly protocols, Distributed protocols
1	Bo Zhu, Venkata Gopala Krishna Addada, Sanjeev Setia, Sushil Jajodia, Sankardas Roy	Efficient Distributed Detection of Node Replication Attacks in Sensor Networks.	ACSAC	2007	DBLP DOI BibTeX RDF
1	Piotr Zielinski	Automatic Verification and Discovery of Byzantine Consensus Protocols.	DSN	2007	DBLP DOI BibTeX RDF
1	Alberto López Toledo, Xiaodong Wang	A Robust Kolmogorov-Smirnov Detector for Misbehavior in IEEE 802.11 DCF.	ICC	2007	DBLP DOI BibTeX RDF
1	Ossama Younis, Marwan Krunz, Srinivasan Ramasubramanian	Coverage Without Location Information.	ICNP	2007	DBLP DOI BibTeX RDF
1	Paul Burstein, Alan Jay Smith	Efficient search in file-sharing networks.	ICPADS	2007	DBLP DOI BibTeX RDF
1	Nandan Garg, Daniel Grosu	Faithful Distributed Shapley Mechanisms for Sharing the Cost of Multicast Transmissions.	ISCC	2007	DBLP DOI BibTeX RDF
1	Chittaranjan Hota, Janne Lindqvist, Kristiina Karvonen, Antti Ylä-Jääski, C. K. J. Mohan	Safeguarding Against Sybil Attacks via Social Networks and Multipath Routing.	IEEE NAS	2007	DBLP DOI BibTeX RDF
1	Marcel Busse, Thomas Haenselmann, Wolfgang Effelsberg	Energy-Efficient Data Dissemination for Wireless Sensor Networks.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
1	Rafael R. Obelheiro, Joni da Silva Fraga	Overlay Network Topology Reconfiguration in Byzantine Settings.	PRDC	2007	DBLP DOI BibTeX RDF
1	Özalp Babaoglu, Toni Binci, Márk Jelasity, Alberto Montresor	Firefly-inspired Heartbeat Synchronization in Overlay Networks.	SASO	2007	DBLP DOI BibTeX RDF
1	Felix Salfner, Miroslaw Malek	Using Hidden Semi-Markov Models for Effective Online Failure Prediction.	SRDS	2007	DBLP DOI BibTeX RDF
1	Man Lung Yiu, Nikos Mamoulis, Spiridon Bakiras	Retrieval of Spatial Join Pattern Instances from Sensor Networks.	SSDBM	2007	DBLP DOI BibTeX RDF
1	Alberto López Toledo, Xiaodong Wang	Robust Detection of Selfish Misbehavior in Wireless Networks.	IEEE Journal on Selected Areas in Communications	2007	DBLP DOI BibTeX RDF
1	Alan T. S. Ip, Jiangchuan Liu, John C. S. Lui	COPACC: An Architecture of Cooperative Proxy-Client Caching System for On-Demand Media Streaming.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	peer-to-peer caching, media segmentation, resource allocation, Media streaming, proxy caching
1	Emilio De Santis, Fabrizio Grandoni, Alessandro Panconesi	Fast Low Degree Connectivity of Ad-Hoc Networks Via Percolation.	ESA	2007	DBLP DOI BibTeX RDF
1	Vanesa Daza, Josep Domingo-Ferrer	On Partial Anonymity in Secret Sharing.	EuroPKI	2007	DBLP DOI BibTeX RDF	Privacy, Protocols, Secret sharing
1	Artur Czumaj, Xin Wang	Fast Message Dissemination in Random Geometric Ad-Hoc Radio Networks.	ISAAC	2007	DBLP DOI BibTeX RDF
1	Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu	Verification of clock synchronization algorithms: experiments on a combination of deductive tools.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Combination of deductive tools, Verification, Theorem proving, Clock synchronization
1	Primoz Skraba, Qing Fang, An Thai Nguyen, Leonidas J. Guibas	Sweeps over wireless sensor networks.	IPSN	2006	DBLP DOI BibTeX RDF	sensor networks, topology, distributed protocols
1	Bulent Tavli, Wendi B. Heinzelman	Energy and Spatial Reuse Efficient Network-Wide Real-Time Data Broadcasting in Mobile Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	mobile computing, wireless communication, Low-power design, routing protocols, network topology, network protocols, data communications, protocol verification, algorithm/protocol design and analysis, distributed protocols, network communications, mobile communication systems, energy-aware systems, protocol architecture, access schemes
1	Olivier Rütti, Pawel T. Wojciechowski, André Schiper	Service interface: a new abstraction for implementing and composing protocols.	SAC	2006	DBLP DOI BibTeX RDF	dynamic protocol replacement, protocol frameworks, modularity
1	Achour Mostéfaoui, Michel Raynal, Corentin Travers, Sergio Rajsbaum	From Failure Detectors with Limited Scope Accuracy to System-wide Leadership.	AINA	2006	DBLP DOI BibTeX RDF	Limited accuracy, Failure detection, Asynchronous distributed system, Process crash, Eventual leader
1	Björn Johansson, Pablo Soldati, Mikael Johansson	Mathematical Decomposition Techniques for Distributed Cross-Layer Optimization of Data Networks.	IEEE Journal on Selected Areas in Communications	2006	DBLP DOI BibTeX RDF
1	Guiling Wang, Guohong Cao, Thomas F. La Porta	Movement-Assisted Sensor Deployment.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	distributed algorithm, Mobile sensor networks, sensor coverage
1	Malte Helmert, Robert Mattmüller, Sven Schewe	Selective Approaches for Solving Weak Games.	ATVA	2006	DBLP DOI BibTeX RDF
1	Cynthia Dwork, Krishnaram Kenthapadi, Frank McSherry, Ilya Mironov, Moni Naor	Our Data, Ourselves: Privacy Via Distributed Noise Generation.	EUROCRYPT	2006	DBLP DOI BibTeX RDF
1	Roger Wattenhofer	Algorithms for Wireless Sensor Networks.	EWSN	2006	DBLP DOI BibTeX RDF
1	Shantanu Das, Paola Flocchini, Amiya Nayak, Nicola Santoro	Effective Elections for Anonymous Mobile Agents.	ISAAC	2006	DBLP DOI BibTeX RDF
1	Burkhard Englert	Adaptive Algorithms Using Bounded Memory Are Inherently Non-uniform.	ISPA	2006	DBLP DOI BibTeX RDF
1	Darin Goldstein, Kojiro Kobayashi	On the Complexity of the "Most General" Firing Squad Synchronization Problem.	STACS	2006	DBLP DOI BibTeX RDF
1	Hui Liu, Yi Pan, Ivan Stojmenovic	A Pure Localized Algorithm for Finding Connected Dominating Set in MANETs by Classification of Neighbors.	WASA	2006	DBLP DOI BibTeX RDF	pure localized algorithm, routing, distributed algorithm, wireless ad hoc networks, connected dominating set
1	Nadia Nouali, Habiba Drias, Anne Doucet	Revisiting Distributed Protocols for Mobility at the Application Layer.	WEC	2005	DBLP BibTeX RDF
1	Rajdeep K. Dash	Engineering distributed protocols for multi-agent interactions using game theory.	AAMAS	2005	DBLP DOI BibTeX RDF	sensor networks, trust, mechanism design, task allocation
1	Jarred McGinnis, David Robertson, Christopher Walton	Protocol synthesis with dialogue structure theory.	AAMAS	2005	DBLP DOI BibTeX RDF	dialogue structure, interaction protocols, distributed protocols
1	Gopal Pandurangan, GaHyun Park	Brief announcement: analysis of a randomized contention-resolution protocol for distributed access.	PODC	2005	DBLP DOI BibTeX RDF	local distributed protocols, load balancing, probabilistic analysis, randomized protocols, contention-resolution
1	Francesco Quaglia, Paolo Romano	Reliability in three-tier systems without application server coordination and persistent message queues.	SAC	2005	DBLP DOI BibTeX RDF	transaction processing, distributed protocols
1	Justin Ma, Geoffrey M. Voelker, Stefan Savage	Self-stopping worms.	WORM	2005	DBLP DOI BibTeX RDF	self-stop, malware, worms, distributed protocols
1	Vlady Ravelomanana	Randomized Initialization of a Wireless Multihop Network.	HICSS	2005	DBLP DOI BibTeX RDF	self-configuration in ad hoc networks, randomized distributed protocols, fundamental limits of random networks, initialization, naming, Multihop networks, address autoconfiguration
1	Nitin H. Vaidya, Anurag Dugar, Seema Gupta, Paramvir Bahl	Distributed Fair Scheduling in a Wireless LAN.	IEEE Trans. Mob. Comput.	2005	DBLP DOI BibTeX RDF	wireless networks, Medium access control, distributed protocols, weighted fairness
1	Felix Brandt, Tuomas Sandholm	Decentralized voting with unconditional privacy.	AAMAS	2005	DBLP DOI BibTeX RDF	voting protocols, multiparty computation
1	Jiaying Shen, Victor R. Lesser	Communication management using abstraction in distributed bayesian networks.	AAMAS	2005	DBLP DOI BibTeX RDF	decentralized MDP, communication, abstraction
1	Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz	Verification and change-impact analysis of access-control policies.	ICSE	2005	DBLP DOI BibTeX RDF	verification, XACML, decision diagram, change-impact analysis, access-control policies