Azer Bestavros
#9,204
Most Influential Person Now
Egyptian computer scientist
Azer Bestavros's AcademicInfluence.com Rankings
Azer Bestavroscomputer-science Degrees
Computer Science
#2214
World Rank
#2304
Historical Rank
Cloud Computing
#16
World Rank
#16
Historical Rank
Database
#2816
World Rank
#2941
Historical Rank
Download Badge
Computer Science
Azer Bestavros's Degrees
- PhD Computer Science University of Southern California
- Masters Computer Science University of Southern California
- Bachelors Computer Science Alexandria University
Similar Degrees You Can Earn
Why Is Azer Bestavros Influential?
(Suggest an Edit or Addition)According to Wikipedia, Azer Bestavros , is the Inaugural Associate Provost for Computing and Data Sciences and the William Fairfield Warren Distinguished Professor of Computer Science at Boston University. Prior to his appointment in 2019 to lead the Faculty of Computing and Data Sciences, he was the Founding Director of The Rafik B. Hariri Institute for Computing and Computational Science & Engineering. He joined Boston University in 1991 as an assistant professor in the Department of Computer Science, which is part of the university's College of Arts & Sciences. He was promoted to the rank of associate professor in 1998 and to the rank of full professor in 2003. From 2000 to 2007, he served as chair of the Department of Computer Science. Prior to joining Boston University, he worked as an instructor, teaching fellow, software engineer, and technical consultant for various organizations and technology companies, including the Eastern Mediterranean Regional Office of World Health Organization, Awad Associates, Harvard University, and AT&T Research Laboratories.
Azer Bestavros's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Self-similarity in World Wide Web traffic: evidence and possible causes (1996) (2725)
- SEP: A Stable Election Protocol for clustered heterogeneous wireless sensor networks (2004) (1681)
- Self-similarity in World Wide Web traffic: evidence and possible causes (1997) (1180)
- Characterizing reference locality in the WWW (1996) (580)
- Heavy-tailed probability distributions in the World Wide Web (1998) (423)
- Changes in Web client access patterns: Characteristics and caching implications (1999) (352)
- A hierarchical characterization of a live streaming media workload (2002) (292)
- Reinforcement Learning for UAV Attitude Control (2018) (237)
- Statistical rate monotonic scheduling (1998) (195)
- GreedyDual* Web caching algorithm: exploiting the two sources of temporal locality in Web request streams (2001) (188)
- Popularity-aware greedy dual-size Web proxy caching algorithms (2000) (187)
- On the marginal utility of network topology measurements (2001) (187)
- Application-level document caching in the Internet (1995) (185)
- Using speculation to reduce server load and service time on the WWW (1995) (169)
- Speculative data dissemination and service to reduce server load, network traffic and service time in distributed information systems (1996) (149)
- Exploiting the transients of adaptation for RoQ attacks on Internet resources (2004) (149)
- Reduction of quality (RoQ) attacks on Internet end-systems (2005) (142)
- Load balancing a cluster of web servers: using distributed packet rewriting (2000) (127)
- Robust identification of shared losses using end-to-end unicast probes (2000) (121)
- Demand-based document dissemination to reduce traffic and balance load in distributed information systems (1995) (107)
- Distributed packet rewriting and its application to scalable server architectures (1998) (105)
- Distributed Placement of Service Facilities in Large-Scale Networks (2007) (101)
- GISMO: a Generator of Internet Streaming Media Objects and workloads (2001) (98)
- Measuring bottleneck bandwidth of targeted path segments (2003) (95)
- Sources and characteristics of Web temporal locality (2000) (95)
- Server-Initated Document Dissemination for the WWW (1996) (93)
- A spectrum of TCP-friendly window-based congestion control algorithms (2003) (90)
- Friendly virtual machines: leveraging a feedback-control model for application adaptation (2005) (90)
- Markov Modeling of Moving Target Defense Games (2016) (88)
- Pinwheel scheduling for fault-tolerant broadcast disks in real-time database systems (1997) (78)
- Cache-and-Relay Streaming Media Delivery for Asynchronous Clients (2002) (78)
- WWW traffic reduction and load balancing through server-based caching (1997) (76)
- TCP-friendly SIMD congestion control and its convergence behavior (2001) (75)
- AIDA-based real-time fault-tolerant broadcast disks (1996) (73)
- Inference and labeling of metric-induced network topologies (2002) (73)
- Conclave: secure multi-party computation on big data (2019) (73)
- Accelerating Internet streaming media delivery using network-aware partial caching (2002) (71)
- Advances in real-time database systems research (1996) (70)
- Timeliness via speculation for real-time databases (1994) (68)
- dPAM: a distributed prefetching protocol for scalable asynchronous multicast in P2P systems (2005) (66)
- A Framework for the Evaluation and Management of Network Centrality (2011) (63)
- Traffic Characteristics and Communication Patterns in Blogosphere (2006) (60)
- AngelCast: cloud-based peer-assisted live streaming using optimized multi-tree construction (2012) (58)
- Small-world characteristics of Internet topologies and implications on multicast scaling (2006) (53)
- Value-cognizant Speculative Concurrency Control (1995) (53)
- Software-Defined IDS for securing embedded mobile devices (2013) (52)
- Toward an Open Cloud Marketplace: Vision and First Steps (2014) (48)
- Temporal Locality in Web Request Streams (2000) (47)
- Verifiably-safe software-defined networks for CPS (2013) (46)
- Distributed Selfish Caching (2007) (42)
- A Verification Platform for SDN-Enabled Applications (2014) (41)
- Value-cognizant admission control for RTDB systems (1996) (40)
- Reduction of Quality (RoQ) Attacks on Dynamic Load Balancers: Vulnerability Assessment and Design Tradeoffs (2007) (40)
- TCP over CDMA2000 Networks: A Cross-Layer Measurement Study (2007) (38)
- TCP Boston: a fragmentation-tolerant TCP protocol for ATM networks (1997) (38)
- Implications of Selfish Neighbor Selection in Overlay Networks (2007) (38)
- A load profiling approach to routing guaranteed bandwidth flows (1997) (37)
- Small-World Internet Topologies: Possible Causes and Implications on Scalability of End-System Multicast (2002) (35)
- Characteristics of www client traces (1995) (34)
- Angels in the Cloud: A Peer-Assisted Bulk-Synchronous Content Distribution Service (2011) (34)
- User-centric distributed solutions for privacy-preserving analytics (2017) (33)
- On the interaction between data aggregation and topology control in wireless sensor networks (2004) (33)
- Colocation Games and Their Application to Distributed Resource Management (2009) (33)
- Scalability of multicast delivery for non-sequential streaming access (2002) (32)
- Design and implementation of statistical rate monotonic scheduling in KURT Linux (1999) (31)
- Osmosis: scalable delivery of real-time streaming media in ad-hoc overlay networks (2003) (31)
- Accessible Privacy-Preserving Web-Based Data Analysis for Assessing and Addressing Economic Inequalities (2018) (30)
- Mistreatment in Distributed Caching Groups: Causes and Implications (2006) (29)
- A Divide-and-Conquer Algorithm for Betweenness Centrality (2014) (28)
- Peer-assisted content distribution on a budget (2012) (28)
- Network-aware partial caching for Internet streaming media (2003) (27)
- Real-Time Database and Information Systems - Research Advances, Papers from the Second International Workshop on Real-Time Databases, RTDB'97, September 18-19, 1997, Burlington, Vermont, USA (1997) (27)
- Characterizing and Exploiting Reference Locality in Data Stream Applications (2006) (27)
- Value-cognizant Speculative Concurrency Control for Real-Time Databases (1996) (27)
- Temporal locality in Web request streams (poster session) (extended abstract): sources, characteristics, and caching implications (2000) (26)
- Demand-based Document Dissemination for the World-Wide Web (1995) (26)
- snBench: programming and virtualization framework for distributed multitasking sensor networks (2006) (26)
- Load profiling: a methodology for scheduling real-time tasks in a distributed system (1997) (25)
- Probabilistic job scheduling for distributed real-time applications (1993) (25)
- CloudPack - Exploiting Workload Flexibility through Rational Pricing (2012) (25)
- Neuroflight: Next Generation Flight Control Firmware (2019) (25)
- Characteristics of World Wide Web Client-based Traces (1995) (24)
- The Cyclone Server Architecture: streamlining delivery of popular content (2002) (24)
- On the Marginal Utility of Deploying Measurement Infrastructure (2000) (23)
- Management of sensory-motor activity in mobile robots (1990) (22)
- Specification and verification of real-time embedded systems using time-constrained reactive automata (1991) (22)
- The Cache Inference Problem and its Application to Content and Request Routing (2007) (22)
- Safe compositional network sketches: formal framework (2010) (21)
- Adaptive reliable multicast (2000) (21)
- Load Profiling in Distributed Real-Time Systems (1997) (21)
- SETH: A VLSI Chip for the Real-Time Information Dispersal and Retrieval for Security and Fault-Tolerance (1990) (20)
- Safe Compositional Network Sketches: Tool & Use Cases (2009) (20)
- Load profiling for efficient route selection in multi-class networks (1997) (20)
- On the Impact of Low-Rate Attacks (2006) (20)
- Safe Compositional Equation-based Modeling of Constrained Flow Networks (2011) (19)
- Measuring Capacity Bandwidth of Targeted Path Segments (2009) (19)
- Secure MPC for Analytics as a Web Application (2016) (18)
- NETEMBED: A network resource mapping service for distributed applications (2008) (17)
- The Filter-Placement Problem and its Application to Minimizing Information Multiplicity (2012) (17)
- Distributed Server Migration for Scalable Internet Service Deployment (2014) (17)
- BANDWIDTH STEALING VIA LINK-TARGETED ROQ ATTACKS (2004) (16)
- An Adaptive Information Dispersal Algorithm for Time-Critical Reliable Communication (1994) (16)
- Colocation as a Service: Strategic and Operational Services for Cloud Colocation (2010) (16)
- Time-constrained reactive automata: a novel development methodology for embedded real-time systems (1992) (15)
- Selfish Overlay Network Creation and Maintenance (2011) (15)
- EGOIST: overlay routing using selfish neighbor selection (2008) (15)
- Basis token consistency: supporting strong Web cache consistency (2002) (15)
- SNBENCH: a development and run-time platform for rapid deployment of sensor network applications (2005) (15)
- Domain-Specific Language (2014) (15)
- Hierarchical Characterization and Generation of Blogosphere Workloads (2008) (14)
- Speculative Concurrency Control (1993) (14)
- Typed abstraction of complex network compositions (2005) (14)
- Real-Time Mutable Broadcast Disks (1997) (14)
- DIP: Density Inference Protocol for wireless sensor networks and its application to density-unbiased statistics (2004) (14)
- Swarming on Optimized Graphs for n-Way Broadcast (2008) (14)
- Planning for embedded systems: A real-time prospective (1991) (13)
- Small-world Characteristics of Internet Topologies and Multicast Scaling (2003) (13)
- Performance Evaluation of Two-Shadow Speculative Concurrency Control (1993) (13)
- Peafowl: in-application CPU scheduling to reduce power consumption of in-memory key-value stores (2020) (13)
- Formal Verification of SLA Transformations (2011) (13)
- Real-Time Database and Information (1997) (12)
- Multi-version Speculative Concurrency Control with Delayed Commit (1993) (12)
- M2RC -- multiplicative-increase/additive-decrease multipath routing control for wireless sensor networks (2004) (12)
- MORPHOSYS: Efficient Colocation of QoS-Constrained Workloads in the Cloud (2012) (12)
- Systematic verification of safety properties of arbitrary network protocol compositions using CHAIN (2003) (12)
- Reliability and Performance of Parallel Disks (1989) (12)
- An information-theoretic framework for field monitoring using autonomously mobile sensors (2008) (11)
- Adversarial exploits of end-systems adaptation dynamics (2007) (11)
- Amorphous Placement and Informed Diffusion for Timely Field Monitoring by Autonomous, Resource-Constrained, Mobile Sensors (2008) (11)
- DNS-based Internet client clustering and characterization (2001) (11)
- BASIS TOKEN CONSISTENCY Extending and Evaluating a Novel Web Consistency Algorithm (2002) (11)
- Providing soft bandwidth guarantees using elastic TCP-based tunnels (2004) (10)
- IDA-based redundant arrays of inexpensive disks (1991) (10)
- Characteristics of WWW Traces (1995) (10)
- Proceedings of the Sixth International Workshop on Web Caching and Content Distribution (2001) (10)
- Admission control for soft-deadline transactions in ACCORD (1997) (10)
- Using Alloy to Formally Model and Reason About an OpenFlow Network Switch (2016) (9)
- Safe compositional specification of networking systems (2004) (9)
- Safe Composition of Web Communication Protocols for Extensible Edge Services (2002) (9)
- Conclave (2019) (9)
- TerrierTail: Mitigating Tail Latency of Cloud Virtual Machines (2018) (9)
- Preferential field coverage through detour-based mobility coordination (2010) (9)
- Timely and fault-tolerant data access from broadcast disks: a pinwheel-based approach (1996) (8)
- PROVIDE: Hiding from Automated Network Scans with Proofs of Identity (2016) (8)
- QoS Controllers for the Internet (2000) (8)
- Trade & Cap: a customer-managed, market-based system for trading bandwidth allowances at a shared link (2010) (8)
- Speculative Concurrency Control A position Statement (1992) (8)
- The IOTA: A model for real-time parallel computation (1990) (8)
- Load Profiling Based Routing for Guaranteed Bandwidth Flows (1999) (8)
- M2RC: multiplicative-increase/additive-decrease multipath routing control for wireless sensor networks (2005) (8)
- SomeCast. A paradigm for real-time adaptive reliable multicast (2000) (8)
- A two-tiered on-line server-side bandwidth reservation framework for the real-time delivery of multiple video streams (2009) (8)
- Personalized Education; Solving a Group Formation and Scheduling Problem for Educational Content (2015) (8)
- DEMO: Integrating MPC in Big Data Workflows (2016) (7)
- ppXen: A hypervisor CPU scheduler for mitigating performance variability in virtualized clouds (2018) (7)
- Speculative Concurrency Control for Real-Time Databases (1993) (7)
- Small-world characteristics of the Internet and multicast scaling (2003) (7)
- A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report) (2011) (7)
- Overlay network creation and maintenance with selfish users (2009) (7)
- A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems (2010) (7)
- The Statistical Rate Monotonic Scheduling Workbench (1998) (7)
- itmBench: generalized API for Internet traffic managers (2004) (6)
- Reduction-of-quality attacks on adaptation mechanisms (2007) (6)
- PeriScope: An active measurement API (2002) (6)
- Network-Constrained Packing of Brokered Workloads in Virtualized Environments (2015) (6)
- BIPAR : BImodal Power-Aware Routing Protocol For Wireless Sensor Networks (2004) (5)
- Load Pro ling for E cient Route Selection in Multi Class Networks (1997) (5)
- An Admission Control Paradigm for Real-Time Databases (1996) (5)
- The Input Output Timed Automaton - A model for real-time parallel computation (1990) (5)
- Assessment of Vulnerability of Content Adaptation Mechanisms to RoQ Attacks (2009) (5)
- Multi-Capacity Bin Packing with Dependent Items and its Application to the Packing of Brokered Workloads in Virtualized Environments (2017) (5)
- Implementation and performance evaluation of TCP Boston: a fragmentation-tolerant TCP protocol for ATM networks (1997) (5)
- Slack Stealing Job Admission Control Scheduling (1998) (5)
- Robust Identi ation of Shared Losses Using End-to-End Uni ast Probes (2000) (4)
- Distributed Network Formation for n-Way Broadcast Applications (2010) (4)
- Exploiting redundancy for timeliness in TCP Boston (1997) (4)
- Web Information Systems Engineering – WISE 2014 (2014) (4)
- GuideMe: Routes coordination of participating agents in mobile crowd sensing platforms (2017) (4)
- Statistical rate monotonic scheduling: quality of service through the management of variability in real-time systems (1999) (4)
- Workshop on language, compiler, and tool support for real-time systems (1994) (4)
- Programming Support for an Integrated Multi-Party Computation and MapReduce Infrastructure (2015) (4)
- Measuring Bottleneck Bandwidth Of Targeted Path (2001) (4)
- Middleware Support for Data Mining and Knowledge Discovery in Large-scale Distributed Information Sy (1996) (4)
- Team Formation for Scheduling Educational Material in Massive Online Classes (2017) (4)
- Heavy-Tailed Probability Distributionsin the World Wide (1998) (4)
- Admission Control and Scheduling for High Performance WWW Servers (1997) (4)
- PeriScope: An Active Internet Probing and Measurement API (2002) (4)
- A framework and toolkit for the effective measurement and representation of internet internal characteristics (2003) (4)
- Aggregating Congestion Information Over Sequences of TCP Connections (1998) (4)
- An Admission Control Paradigm for Value-cognizant Real-Time Databases (1996) (4)
- Wireless Network Algorithms, Systems, and Applications (2010) (3)
- Generating Internet Streaming Media Objects and Workloads (2005) (3)
- A Geometric Approach to Slot Alignment in Wireless Sensor Networks (2007) (3)
- A type-disciplined approach to developing resources and applications for the world-wide web (2004) (3)
- Role-Based Ecosystem Model for Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications (2017) (3)
- CLEOPATRA - Physically-Correct Specifications of Embedded Real-Time Programs (1994) (3)
- Amorphous Placement and Retrieval of Sensory Data in Sparse Mobile Ad-Hoc Networks (2006) (3)
- Towards Safe and Scalable Cyber-Physical Systems Azer Bestavros (2006) (3)
- Wireless and physical security via embedded sensor networks (2008) (3)
- Efficiently and Fairly Allocating Bandwidth at a Highly Congested Link (2003) (3)
- Unicast-based Characterization of Network Loss Topologies (2000) (3)
- An ounce of prevention is worth a pound of cure. Towards physically-correct specifications of embedded real-time systems (1994) (3)
- Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking (2005) (3)
- Value-cognizant Admission Control Strategies for Real-Time DBMS (1996) (3)
- A Feedback Control Approach to Mitigating Mistreatment in Distributed Caching Groups (2006) (3)
- A Rule-Based Decision Framework for Medical Sensor Networks (2007) (3)
- Report on first international workshop on real-time database systems (1996) (3)
- Mistreatment-resilient distributed caching (2007) (3)
- Improving the Performance of Overlay Routing and P2P File Sharing using Selfish Neighbor Selection (2007) (2)
- Concurrency Admission Control for RT Databases (1997) (2)
- Towards accessible integrated formal reasoning environments for protocol design (2012) (2)
- A typed model for encoding-based protocol interoperability (2004) (2)
- Performance Evaluation of Distributed Prefetching for Asynchronous Multicast in P2P Networks (2004) (2)
- A case study of a shared/buy-in computing ecosystem (2018) (2)
- Real-Time Spatio-Temporal Query Processing in Mobile Ad-Hoc Sensor Networks (2006) (2)
- Responsive Web Computing: Resource Management, Protocol Techniques, and Applications (A research statement) (1996) (2)
- Simulation of Hardware Dynamic Scheduling on the DLX Architecture (1995) (2)
- A Family of Speculative Concurrency Control Algorithms for Real-Time Databases∗ (2007) (2)
- Use cases for compositional modeling and analysis of equation-based constrained flow networks (2011) (2)
- Scather: programming with multi-party computation and MapReduce (2015) (2)
- Web caching and content delivery : proceedings of the sixth International Web Content Caching and Distribution Workshop, Boston University, Boston, Massachusetts, USA, June 20-22, 2001 (2001) (2)
- Exogenous-Loss Awareness in Queue Management: Toward Global Fairness (2003) (2)
- Detour-Based Mobility Coordination in DTNs (2008) (2)
- AngelCast : Peer-Assisted Live Streaming Using Optimized Multi-Tree Construction (2017) (2)
- Amorphous Placement and Informed Diffusion for Efficient Field Monitoring by Autonomusly Mobile Sensors (2007) (2)
- Akita: A CPU scheduler for virtualized Clouds (2020) (2)
- Speculative Algorithms for Concurrency Control in Responsive Databases (1995) (2)
- Scheduling of data-intensive workloads in a brokered virtualized environment (2016) (2)
- Safe Compositional Specification of Networking Systems: A Compositional Analysis Approach (2005) (2)
- Mechanism design for spatio-temporal request satisfaction in mobile networks (2012) (2)
- Basis Token Consistency: A Practical Mechanism for Strong Web Cache Consistency (2001) (2)
- Web Information Systems Engineering – WISE 2014 (2014) (1)
- netEmbed: a service for embedding distributed applications (2007) (1)
- A Trading System for Fairly Scheduling Fixed-Sized Delay Tolerant Jobs at a Shared Link (2010) (1)
- Discovering Spatial Locality in WWW Access Patterns using Data Mining of Document Clusters in Server Logs (1997) (1)
- A elerating Internet Streaming Media Delivery using Network-Aware Partial Ca hing (2001) (1)
- Context-Aware Real Time Scheduling (2004) (1)
- Rational coordination of crowdsourced resources for geo-temporal request satisfaction (2015) (1)
- Speculative dissemination and service for web content delivery (a.k.a., predicting the birth of CDNs) (1996) (1)
- A new benchmark harness for systematic and robust evaluation of streaming state stores (2022) (1)
- Incentive compatible route coordination of crowdsourced resources and its application to GeoPresence-as-a-Service (2015) (1)
- Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization (2017) (1)
- On the Efficiency and Fairness of Transmission Control Loops:A Case for Exogenous Losses (2003) (1)
- snBench: A development and run - time platform for the rapid deployment of video sensornet applicat (2005) (1)
- Validating indefinitely large communica-tion networks with finite model checking (2002) (1)
- XQM: eXogenous-aware Queue Management (2003) (1)
- End-to-end informed VM selection in compute clouds (2015) (1)
- Estimating Unicast Path Characteristics at Mass Servers (1999) (1)
- In Proceedings of the ACM/IASTED/ISMM Conference on Distributed Multimedia Systems and Applications, Stanford, CA, Aug 1995. Demand based Data Dissemination in Distributed Multimedia Systems (1995) (1)
- Design and Implementation of SRMS in Kurt Linux (1998) (1)
- An Empirical Study of Routing Bias in Variable-Degree Networks (2003) (1)
- On the Interaction between TCP and the Wireless Channel in CDMA2000 Networks (2006) (1)
- Programming and Virtualization of Distributed Multitasking Sensor Networks (2007) (1)
- CSR: Constrained Selfish Routing in Ad-Hoc Networks (2009) (1)
- CLEOPATRA: Building Responsive Systems from Physically-Correct Specifications (1993) (1)
- Concurrency Admission Control Management in ACCORD (1997) (1)
- Engineering Real-Time Robotics Software Systems Using CLEOPATRA (1998) (1)
- 2004-05-31 SEP : A Stable Election Protocol for clustered heterogeneous wireless sensor networks (2004) (1)
- Towards accessible integration and deployment of formal tools and techniques (2013) (1)
- Repetition-aware content placement in navigational networks (2013) (1)
- A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems (2009) (1)
- Exogenous-loss aware traffic management in overlay networks: Toward global fairness (2006) (1)
- The sensor network workbench: towards functional specification, verification and deployment of constrained distributed systems (2009) (1)
- A Type System For Safe SN Resource Allocation (2008) (1)
- Web Information Systems Engineering – WISE 2014 Workshops (2014) (1)
- Policies for Assisted Virtual Machine Selection in Cloud Computing Environments (2015) (0)
- Type Systems for a Network Specification Language WithMultiple-Choice Let (2005) (0)
- Reusable requirements in automated verification of distributed systems (2013) (0)
- Virtualization and Programming Support for Video Sensor Networks with Application to Wireless and Physical Security (2011) (0)
- Stealing Bandwidth via Link-targeted Interference Attacks (2004) (0)
- Client-based logging: a new paradigm for distributed transaction management (1996) (0)
- Peafowl (2020) (0)
- Wireless Algorithms, Systems, and Applications, 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings (2009) (0)
- AIDA-Based Distributed File System (1993) (0)
- A Bandwidth Allocation Strategy for Distributed Real Time Systems (1993) (0)
- Preserving the Causal and Structural Properties of Real-time Systems Using Object Oriented Speciication in Cleopatra (1995) (0)
- After: a framework for adaptive forward erasure recovery for fault-tolerant real-time communication (1998) (0)
- Real-Time Monitoring and Control Methodologies to Aid in the Study of Protein Interactions for Biosensor Applications. (1997) (0)
- Enhancing Tor Performance For Bandwidth-Intensive Applications † Technical Report BUCS-TR-2012-013 (2012) (0)
- What’s in it for me? Incentive-compatible route coordination of crowdsourced resources (2016) (0)
- Resource Management for Responsive Web Computing (1996) (0)
- Towards Generalized Centrality Measures with Applications to Information Networks (2012) (0)
- Dynamic cross domain information sharing: a concept paper on flexible adaptive policy management (2010) (0)
- Performance Evaluation of Distributed Prefetching for Asynchronous Multicast in P 2 P Networks (2004) (0)
- Detour-Based Mobility Coordination in DTNs Morcos (2008) (0)
- Inference and Labeling of (2005) (0)
- Cyber-physical systems: challenges & opportunities (2008) (0)
- Cache-and-Rela y Streaming Media Deliver y for Async hronous Clients (2002) (0)
- An algorithm for self-diagnosis in distributed systems (1991) (0)
- Ida-based Disk Arrays like to Thank Wing Wong and Danny Chen from Bell Labs for Their Help and Suggestions (1989) (0)
- Method and apparatus for secure and scalable transmission of data files in distributed networks (2001) (0)
- Validating Arbitrarily Large Network Protocol Compositions with Finite Computation (2002) (0)
- CLEOPATRA Building Responsive Systems from Physicallycorrect Physicallycorrect Physicallycorrect Speci cations (1993) (0)
- In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando, FL, June 1994. CLEOPATRA Physically Correct Speci cations of Embedded Real Time Programs (2007) (0)
- Building Responsive Systems from Physically-correct Specifications (1992) (0)
- ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, 1994 (Summary of the Workshop) (1994) (0)
- Multi-Regulation Computing: Examining the Legal and Policy Questions That Arise From Secure Multiparty Computation (2022) (0)
- The SRMS Workbench (1998) (0)
- Safe Compositional Network Sketches: NetSketch Tool Implementation (2011) (0)
- An Omniscient Scheduling Oracle for Systems with Harmonic Periods (1998) (0)
- Distributed Selfish Coaching (2006) (0)
- Load Profiling in Distributed Real-time Systems \one Size Doesn't Fit All" (1996) (0)
- AIDA � based Communication for Distributed Time � critical Applications (1992) (0)
- Towards Trusted Adaptation Dynamics in Computing Systems and Networks (2005) (0)
- S alability of Multi ast Delivery for Non-sequential Streaming A ess (2001) (0)
- The Zenith attack: vulnerabilities and countermeasures (2011) (0)
- BUCS-TR-2008-016 July 1 , 2008 (2008) (0)
- A Buffer-and-Relay Approach to Streaming Media Delivery for Asynchronous Clients (2002) (0)
- StaXML: Static Typing of XML Document Fragments for Imperative Web Scripting Languages (2004) (0)
- In OORTS’95: The 1995 IEEE Workshop on Object Oriented Real-Time Systems, San Antonio, Texas, October 1995. Preserving the Causal and Structural Properties of Real Time Systems using Object Oriented Speci cation in Cleopatra (1995) (0)
- Efficient Execution of Homogeneous Tasks with Unequal Run Times on the Connection Machine (1991) (0)
- Object Oriented Animation on the World Wide Web (1995) (0)
- BOSTON UNIVERSITY GRADUATE SCHOOL OF ARTS AND SCIENCES Thesis USING MARKETS AND SPAM TO COMBAT MALWARE by SARAH LIEBERMAN ZATKO (2009) (0)
- Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems (2013) (0)
- Design and Deployment of Usable , Scalable MPC (2017) (0)
- 2009-05-28 CSR : Constrained Selfish Routing in Ad-hoc Networks (2009) (0)
- M^2RC: Multiplicative-increase/additive-decrease Multipath RoutingControl for Wireless Sensor Networks (2004) (0)
- Enhancing Tor performance for bandwidth-intensive applications (2012) (0)
- A case study of a shared/buy-in computing ecosystem (2018) (0)
- Postlude: seamless composition and integration – a perspective on formal methods research (2012) (0)
- The validation and implementation of real-time robotics systems using Cleopatra object-oriented physically-correct specifications (1996) (0)
- Towards Safe and Scalable Compositional Analysis and Programming (2006) (0)
- Speculative concurrency control for multidatabases with real-time interoperable subsystems (1995) (0)
- S3B: Software-Defined Secure Server Bindings (2018) (0)
This paper list is powered by the following services:
Other Resources About Azer Bestavros
What Schools Are Affiliated With Azer Bestavros?
Azer Bestavros is affiliated with the following schools:
