|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 166 occurrences of 99 keywords
|
|
|
|
|
Results
Found 130 publication records. Showing 130 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Taewoo Kwon, Emre Ertin, Anish Arora |
Reproducing consistent wireless protocol performance across environments.  |
Ad Hoc Networks  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinod Kulathumani, Anish Arora, Sricharan Ramagiri |
Pursuit Control Over Wireless Sensor Networks Using Distance Sensitivity Properties.  |
IEEE Trans. Automat. Contr.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taewoo Kwon, Emre Ertin, Anish Arora |
Performance repeatability of low power wireless sensor network protocols: a multi testbed study.  |
MSWiM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingy Ramzy, Anish Arora |
Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks.  |
SSS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lifeng Sang, Anish Arora, Hongwei Zhang |
On link asymmetry and one-way estimation in wireless sensor networks.  |
TOSN  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongwei Zhang, Lifeng Sang, Anish Arora |
Comparison of Data-Driven Link Estimation Methods in Low-Power Wireless Networks.  |
IEEE Trans. Mob. Comput.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mukundan Sridharan, Wenjie Zeng, William Leal, Xi Ju, Rajiv Ramnath, Hongwei Zhang, Anish Arora |
From Kansei to KanseiGenie: Architecture of Federated, Programmable Wireless Sensor Fabrics.  |
TRIDENTCOM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Li, Wenjie Zeng, Anish Arora |
Chameleon: On the Energy Efficiency of Exploiting Multiple Frequencies in Wireless Sensor Networks.  |
BROADNETS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth W. Parker, Anish Arora, Sandip Bapat |
Fine-scale tracking by fusing phase profiles from multiple low-power Doppler radars.  |
SenSys  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjie Zeng, Anish Arora, Ness B. Shroff |
Maximizing Energy Efficiency for Convergecast via Joint Duty Cycle and Route Optimization.  |
INFOCOM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Taewoo Kwon, Emre Ertin, Anish Arora |
Reproducing Consistent Wireless Protocol Performance across Environments.  |
ADHOCNETS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Murat Demirbas, Anish Arora, Vinodkrishnan Kulathumani |
Glance: A lightweight querying service for wireless sensor networks.  |
Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinodkrishnan Kulathumani, Anish Arora, Mukundan Sridharan, Murat Demirbas |
Trail: A distance-sensitive sensor network service for distributed object tracking.  |
TOSN  |
2009 |
DBLP DOI BibTeX RDF |
Distributed tracking, applications of sensor actuator networks, data storage and query, fault tolerance, scalability, energy efficiency, network protocol |
| 1 | Hongwei Zhang, Anish Arora, Prasun Sinha |
Link Estimation and Routing in Sensor Network Backbones: Beacon-Based or Data-Driven?  |
IEEE Trans. Mob. Comput.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongwei Zhang, Lifeng Sang, Anish Arora |
On the convergence and stability of data-driven link estimation and routing in sensor networks.  |
TAAS  |
2009 |
DBLP DOI BibTeX RDF |
biased link sampling, data-driven link estimation and routing, Wireless sensor networks, stability, convergence |
| 1 | Sandip Bapat, William Leal, Taewoo Kwon, Pihui Wei, Anish Arora |
Chowkidar: Reliable and scalable health monitoring for wireless sensor network testbeds.  |
TAAS  |
2009 |
DBLP DOI BibTeX RDF |
PIF, tree protocols, Wireless sensor networks, stabilization, health monitoring, protocol architecture |
| 1 | Hongwei Zhang, Lifeng Sang, Anish Arora |
Comparison of Data-driven Link Estimation Methods in Low-power Wireless Networks.  |
SECON  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lifeng Sang, Anish Arora |
Capabilities of Low-Power Wireless Jammers.  |
INFOCOM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Arora, Lifeng Sang |
Dialog codes for secure wireless communications.  |
IPSN  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lifeng Sang, Anish Arora |
A Wireless Security Framework without Shared Secrets.  |
SSS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Cao, Emre Ertin, Anish Arora |
MiniMax equilibrium of networked differential games.  |
TAAS  |
2008 |
DBLP DOI BibTeX RDF |
sensor networks, delay, equilibrium, Differential games |
| 1 | Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora |
FTSyn: a framework for automatic synthesis of fault-tolerance.  |
STTT  |
2008 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance |
| 1 | Vinod Kulathumani, Anish Arora |
Aspects of Distance Sensitive Design of Wireless Sensor Networks.  |
SASO Workshops  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora |
Disassembling real-time fault-tolerant programs.  |
EMSOFT  |
2008 |
DBLP DOI BibTeX RDF |
bounded-time recovery, component-based analysis, fault-tolerance, real-time, formal methods, decomposition |
| 1 | Hui Cao, Anish Arora, Emre Ertin, Kenneth W. Parker |
Feature Calibration in Sensor Networks.  |
ISPA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mukundan Sridharan, Sandip Bapat, Rajiv Ramnath, Anish Arora |
Implementing an autonomic architecture for fault-tolerance in a wireless sensor network testbed for at-scale experimentation.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
autonomic software design, detectors and correctors, wireless sensor testbed, fault-tolerance |
| 1 | Andrew R. Dalton, William P. McCartney, Kajari Ghosh Dastidar, Jason O. Hallstrom, Nigamanth Sridhar, Ted Herman, William Leal, Anish Arora, Mohamed G. Gouda |
DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language.  |
ICCCN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lifeng Sang, Anish Arora |
Spatial Signatures for Lightweight Security in Wireless Sensor Networks.  |
INFOCOM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongwei Zhang, Lifeng Sang, Anish Arora |
On biased link sampling in data-driven link estimation and routing in low-power wireless networks.  |
WICON  |
2008 |
DBLP DOI BibTeX RDF |
biased link sampling, data-driven link estimation and routing, low-power wireless networks, sensor networks, stability, convergence |
| 1 | Murat Demirbas, Anish Arora |
An Application of Specification-Based Design of Self-stabilization to Tracking in Wireless Sensor Networks.  |
SSS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Li, Anish Arora |
Duty Cycle Stabilization in Semi-mobile Wireless Networks.  |
SSS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Arora |
Keynote: Primitives for Physical Trust.  |
SSS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongwei Zhang, Anish Arora, Young-ri Choi, Mohamed G. Gouda |
Reliable bursty convergecast in wireless sensor networks.  |
Computer Communications  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Santosh Kumar, Ten-Hwang Lai, Anish Arora |
Barrier coverage with wireless sensors.  |
Wireless Networks  |
2007 |
DBLP DOI BibTeX RDF |
Wireless sensor networks, Network topology, Barrier coverage |
| 1 | Vinayak Naik, Anish Arora, Prasun Sinha, Hongwei Zhang |
Sprinkler: A Reliable and Energy Efficient Data Dissemination Service for Extreme Scale Wireless Networks of Embedded Devices.  |
IEEE Trans. Mob. Comput.  |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, wireless, Network protocols, real-time systems and embedded systems |
| 1 | Anish Arora |
Introduction.  |
Distributed Computing  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | James Aspnes, Christian Scheideler, Anish Arora, Samuel Madden (eds.) |
Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings  |
DCOSS  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Vinodkrishnan Kulathumani, Anish Arora |
Distance Sensitive Snapshots in Wireless Sensor Networks.  |
OPODIS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinodkrishnan Kulathumani, Anish Arora, Murat Demirbas, Mukundan Sridharan |
Trail: A Distance Sensitive WSN Service for Distributed Object Tracking.  |
EWSN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Cao, Anish Arora |
Stabilization in Dynamic Systems with Varying Equilibrium.  |
SSS  |
2007 |
DBLP DOI BibTeX RDF |
Optimality, Stabilization, Control, Equilibrium, MiniMax |
| 1 | Lifeng Sang, Anish Arora, Hongwei Zhang |
On exploiting asymmetric wireless links via one-way estimation.  |
MobiHoc  |
2007 |
DBLP DOI BibTeX RDF |
sensor network, routing, link estimation |
| 1 | Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora |
Secret instantiation in ad-hoc networks.  |
Computer Communications  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora |
Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215].  |
Computer Communications  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Murat Demirbas, Anish Arora, Vineet Mittal, Vinodkrishnan Kulathumani |
A Fault-Local Self-Stabilizing Clustering Service for Wireless Ad Hoc Networks.  |
IEEE Trans. Parallel Distrib. Syst.  |
2006 |
DBLP DOI BibTeX RDF |
Wireless sensor networks, fault tolerance, reliability, availability and serviceability |
| 1 | Anish Arora, Sandeep S. Kulkarni, Murat Demirbas |
Resettable vector clocks.  |
J. Parallel Distrib. Comput.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Arora, Hongwei Zhang |
LSRP: local stabilization in shortest path routing.  |
IEEE/ACM Trans. Netw.  |
2006 |
DBLP DOI BibTeX RDF |
containment region, local stabilization, perturbation size, range of contamination, shortest path routing |
| 1 | Hongwei Zhang, Anish Arora |
Guaranteed fault containment and local stabilization in routing.  |
Computer Networks  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Arora, Emre Ertin, Rajiv Ramnath, Mikhail Nesterenko, William Leal |
Kansei: A High-Fidelity Sensing Testbed.  |
IEEE Internet Computing  |
2006 |
DBLP DOI BibTeX RDF |
sensor network testbeds, sensor networks, motes, Kansei |
| 1 | Hui Cao, Ken Parker, Anish Arora |
O-MAC: A Receiver Centric Power Management Protocol.  |
ICNP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Murat Demirbas, Anish Arora, Vinod Kulathumani |
Glance: A Lightweight Querying Service for Wireless Sensor Networks.  |
OPODIS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mukundan Sridharan, Rajiv Ramnath, Emre Ertin, Anish Arora |
Mobility centric campus area sensor network for locality specific applications.  |
SenSys  |
2006 |
DBLP DOI BibTeX RDF |
locality specific, sensor networks, mobile applications |
| 1 | Hongwei Zhang, Anish Arora, Prasun Sinha |
Learn on the Fly: Data-Driven Link Estimation and Routing in Sensor Network Backbones.  |
INFOCOM  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabal K. Dutta, Anish Arora, Steven B. Bibyk |
Towards radar-enabled sensor networks.  |
IPSN  |
2006 |
DBLP DOI BibTeX RDF |
micropower impulse radar, ultrawideband radar, sensor networks, classification, intrusion detection, signal processing, detection, surveillance, radar |
| 1 | Hui Cao, Emre Ertin, Vinodkrishnan Kulathumani, Mukundan Sridharan, Anish Arora |
Differential games in large-scale sensor-actuator networks.  |
IPSN  |
2006 |
DBLP DOI BibTeX RDF |
sensor network, delay, actuator, differential game |
| 1 | Emre Ertin, Anish Arora, Rajiv Ramnath, Vinayak Naik, Sandip Bapat, Vinod Kulathumani, Mukundan Sridharan, Hongwei Zhang, Hui Cao, Mikhail Nesterenko |
Kansei: a testbed for sensing at scale.  |
IPSN  |
2006 |
DBLP DOI BibTeX RDF |
sensor network testbed, hybrid simulation, sensor modeling |
| 1 | Sandip Bapat, Anish Arora |
Stabilizing Reconfiguration in Wireless Sensor Networks.  |
SUTC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Arora |
"ExScal: A Perspective on Large Scale Wireless Sensor Networks".  |
MDM  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | William Leal, Sandip Bapat, Taewoo Kwon, Pihui Wei, Anish Arora |
Stabilizing Health Monitoring for Wireless Sensor Networks.  |
SSS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Arora, Marvin Theimer |
On modeling and tolerating incorrect software.  |
J. High Speed Networks  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Anish Arora, Mikhail Nesterenko |
Unifying stabilization and termination in message-passing systems.  |
Distributed Computing  |
2005 |
DBLP DOI BibTeX RDF |
fault-tolerance, Self-stabilization, termination |
| 1 | Santosh Kumar, Anish Arora, Ten-Hwang Lai |
On the lifetime analysis of always-on wireless sensor network applications.  |
MASS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Santosh Kumar, Ten-Hwang Lai, Anish Arora |
Barrier coverage with wireless sensors.  |
MOBICOM  |
2005 |
DBLP DOI BibTeX RDF |
critical conditions, wireless sensor networks, coverage, network topology, localized algorithms, random geometric graphs, barrier coverage |
| 1 | Sandip Bapat, Vinod Kulathumani, Anish Arora |
Reliable Estimation of Influence Fields for Classification and Tracking in Unreliable Sensor Networks.  |
SRDS  |
2005 |
DBLP DOI BibTeX RDF |
wireless sensor networks, reliability, intrusion detection, faulttolerance |
| 1 | Anish Arora, Rajiv Ramnath, Prasun Sinha, Emre Ertin, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Mukundan Sridharan, Santosh Kumar, Hui Cao, Nick Seddon, Chris Anderson, Ted Herman, Chen Zhang, Nishank Trivedi, Mohamed G. Gouda, Young-ri Choi, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker |
Project ExScal (Short Abstract).  |
DCOSS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandip Bapat, Vinodkrishnan Kulathumani, Anish Arora |
Analyzing the Yield of ExScal, a Large-Scale Wireless Sensor Network Experiment.  |
ICNP  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Arora, Rajiv Ramnath, Emre Ertin, Prasun Sinha, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Hui Cao, Mukundan Sridharan, Santosh Kumar, Nick Seddon, Chris Anderson, Ted Herman, Nishank Trivedi, Chen Zhang, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, Mohamed G. Gouda, Young-ri Choi, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker |
ExScal: Elements of an Extreme Scale Wireless Sensor Network.  |
RTCSA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabal Dutta, Mike Grimmer, Anish Arora, Steven B. Bibyk, David E. Culler |
Design of a wireless sensor network platform for detecting rare, random, and ephemeral events.  |
IPSN  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinayak Naik, Anish Arora, Prasun Sinha, Hongwei Zhang |
Sprinkler: A Reliable and Energy Efficient Data Dissemination Service for Wireless Embedded Devices.  |
RTSS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongwei Zhang, Anish Arora |
Brief announcement: continuous containment and local stabilization in path-vector routing.  |
PODC  |
2005 |
DBLP DOI BibTeX RDF |
continuous containment, high-frequency unanticipated faults, local stabilization, path-vector routing, fault tolerance |
| 1 | Hongwei Zhang, Anish Arora, Young-ri Choi, Mohamed G. Gouda |
Reliable bursty convergecast in wireless sensor networks.  |
MobiHoc  |
2005 |
DBLP DOI BibTeX RDF |
bursty convergecast, contention control, reliable and real-time transport, wireless sensor network, error control |
| 1 | Jason O. Hallstrom, Nigamanth Sridhar, Paolo A. G. Sivilotti, Anish Arora, William Leal |
A Container-Based Approach to Object-Oriented Product Lines.  |
Journal of Object Technology  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Anish Arora, E. Allen Emerson |
Synthesis of fault-tolerant concurrent programs.  |
ACM Trans. Program. Lang. Syst.  |
2004 |
DBLP DOI BibTeX RDF |
fault-tolerance, specification, temporal logic, Concurrent programs, program synthesis |
| 1 | Anish Arora, Prabal Dutta, Sandip Bapat, Vinod Kulathumani, Hongwei Zhang, Vinayak Naik, Vineet Mittal, Hui Cao, Murat Demirbas, Mohamed G. Gouda, Young-ri Choi, Ted Herman, Sandeep S. Kulkarni, Umamaheswaran Arumugam, Mikhail Nesterenko, Adnan Vora, Mark Miyashita |
A line in the sand: a wireless sensor network for target detection, classification, and tracking.  |
Computer Networks  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Murat Demirbas, Anish Arora, Vineet Mittal, Vinod Kulathumani |
Design and Analysis of a Fast Local Clustering Service for Wireless Sensor Networks.  |
BROADNETS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongwei Zhang, Anish Arora, Zhijun Liu |
A Stability-Oriented Approach to Improving BGP Convergence.  |
SRDS  |
2004 |
DBLP DOI BibTeX RDF |
fault-agnostic instability, distribution-inherent instability, path-vector routing, BGP |
| 1 | Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch |
A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks.  |
OPODIS  |
2004 |
DBLP DOI BibTeX RDF |
Sensor networks, tracking, self-stabilization, distributed data structures, fault-containment |
| 1 | Mohamed G. Gouda, Young-ri Choi, Anish Arora |
Sentries and Sleepers in Sensor Networks.  |
OPODIS  |
2004 |
DBLP DOI BibTeX RDF |
Sentry election, Sentry-Sleeper protocol, Sensor Networks, Self-stabilization, Energy management |
| 1 | John A. Stankovic, Anish Arora, Ramesh Govindan (eds.) |
Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, SenSys 2004, Baltimore, MD, USA, November 3-5, 2004  |
SenSys  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch |
Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks.  |
PODC  |
2004 |
DBLP DOI BibTeX RDF |
sensor networks, tracking, self-stabilization, distributed data structures, fault-containment |
| 1 | William Leal, Anish Arora |
Scalable Self-Stabilization via Composition.  |
ICDCS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinayak Naik, Anish Arora, Sandip Bapat, Mohamed G. Gouda |
Dependable Systems - Whisper: Local Secret Maintenance in Sensor Networks.  |
IEEE Distributed Systems Online  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Min-Te Sun, Lifei Huang, Shaoyong Wang, Anish Arora, Ten-Hwang Lai |
Reliable MAC layer multicast in IEEE 802.11 wireless networks.  |
Wireless Communications and Mobile Computing  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongwei Zhang, Anish Arora |
GS3: scalable self-configuration and self-healing in wireless sensor networks .  |
Computer Networks  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Arora, Hongwei Zhang |
LSRP: Local Stabilization in Shortest Path Routing.  |
DSN  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Young Man Kim, Ten-Hwang Lai, Anish Arora |
A QOS-Aware Scheduling Algorithm for Bluetooth Scatternets.  |
ICPP  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Murat Demirbas, Anish Arora, Mohamed G. Gouda |
A Pursuer-Evader Game for Sensor Networks.  |
Self-Stabilizing Systems  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Nesterenko, Anish Arora |
Stabilization-Preserving Atomicity Refinement.  |
J. Parallel Distrib. Comput.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Arora, Rajesh Jagannathan, Yi-Min Wang |
Model-Based Fault Detection in Powerline Networking. (PDF / PS)  |
IPDPS  |
2002 |
DBLP DOI BibTeX RDF |
hidden state, unobservable transitions, models, formal methods, fault detection, observability, network protocols, finite state automata, X10 |
| 1 | Mikhail Nesterenko, Anish Arora |
Tolerance to Unbounded Byzantine Faults.  |
SRDS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Min-Te Sun, Lifei Huang, Anish Arora, Ten-Hwang Lai |
Reliable MAC Layer Multicast in IEEE 802.11 Wireless Networks. (PDF / PS)  |
ICPP  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongwei Zhang, Anish Arora |
GS3: scalable self-configuration and self-healing in wireless networks.  |
PODC  |
2002 |
DBLP DOI BibTeX RDF |
cellular hexagons, geographyaware, mobility, scalability, locality, dynamics, self-stabilization, self-healing, self-configuration, multi-hop wireless networks |
| 1 | Murat Demirbas, Anish Arora |
Convergence Refinement. (PDF / PS)  |
ICDCS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Nesterenko, Anish Arora |
Dining Philosophers that Tolerate Malicious Crashes. (PDF / PS)  |
ICDCS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | William Leal, Anish Arora |
State-level and value-level simulations in data refinement.  |
Inf. Process. Lett.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Arora, Murat Demirbas, Sandeep S. Kulkarni |
Graybox Stabilization.  |
DSN  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep S. Kulkarni, Anish Arora, Arun Chippada |
Polynomial Time Synthesis of Byzantine Agreement. (PDF / PS)  |
SRDS  |
2001 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis |
| 1 | Mohamed G. Gouda, Chin-Tser Huang, Anish Arora |
On the Security and Vulnerability of PING.  |
WSS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Arora, Mikhail Nesterenko |
Unifying Stabilization and Termination in Message-Passing Systems.  |
ICDCS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Min Wang, Wilf Russell, Anish Arora, Rajesh Jagannathan, Jun Xu |
Towards Dependable Home Networking: An Experience Report.  |
DSN  |
2000 |
DBLP DOI BibTeX RDF |
Power line control, Lookup service, Publish/subscribe eventing, Heterogeneous protocols, Security, Reliability, Manageability, Dependability, Self-stabilization, Extensibility, Heterogeneous networks, Home networking, Remote control, Home automation, Heterogeneous devices, Heartbeats, Soft states, Device discovery |
| 1 | Anish Arora, Sandeep S. Kulkarni, Murat Demirbas |
Resettable vector clocks.  |
PODC  |
2000 |
DBLP DOI BibTeX RDF |
bounded-space, component substitutability, reset events, fault-tolerance, stabilization, vector clocks |
Displaying result #1 - #100 of 130 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|