Roy H. Campbell

Karrie Karahalios

Proceedings of the 11th IEEE International Conference on Healthcare Informatics, 2023

2021

Where did my 256 GB go? A Measurement Analysis of Storage Consumption on Smart Mobile Devices.

[BibT_eX]

[DOI]

Ashish Bijlani

Umakishore Ramachandran

Proc. ACM Meas. Anal. Comput. Syst., 2021

GenoML: Automated Machine Learning for Genomics.

[BibT_eX]

[DOI]

Eduardo Salmerón Castaño

John F. Carter

Melina Maleknia

Juan A. Botía

Cornelis Blauwendraat

CoRR, 2021

Mapping Risk Assessment Strategy for COVID-19 Mobile Apps' Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computing, 2021

Identifying New COVID-19 Variants from Spike Proteins Using Novelty Detection.

[BibT_eX]

[DOI]

Sayantani Basu

Proceedings of the MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation, 2021

2020

Caramel: Accelerating Decentralized Distributed Deep Learning with Computation Scheduling.

[BibT_eX]

[DOI]

Brighten Godfrey

CoRR, 2020

HAL: Computer System for Scalable Deep Learning.

[BibT_eX]

[DOI]

Volodymyr V. Kindratenko

Proceedings of the PEARC '20: Practice and Experience in Advanced Research Computing, 2020

Model Based Reinforcement Learning for Atari.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

Towards An Application Objective-Aware Network Interface.

[BibT_eX]

[DOI]

Brighten Godfrey

Proceedings of the 12th USENIX Workshop on Hot Topics in Cloud Computing, 2020

2019

Model-Based Reinforcement Learning for Atari.

[BibT_eX]

[DOI]

CoRR, 2019

Attack Directories, Not Caches: Side Channel Attacks in a Non-Inclusive World.

[BibT_eX]

[DOI]

Mengjia Yan

Read Sprabery

Bhargava Gopireddy

Christopher W. Fletcher

Josep Torrellas

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

tensorflow-tracing: A Performance Tuning Framework for Production.

[BibT_eX]

[DOI]

Volodymyr V. Kindratenko

Proceedings of the 2019 USENIX Conference on Operational Machine Learning, 2019

TicTac: Accelerating Distributed Deep Learning with Communication Scheduling.

[BibT_eX]

[DOI]

Proceedings of Machine Learning and Systems 2019, 2019

BRACELET: Edge-Cloud Microservice Infrastructure for Aging Scientific Instruments.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computing, Networking and Communications, 2019

2018

Learning the progression and clinical subtypes of Alzheimer's disease from longitudinal clinical data.

[BibT_eX]

[DOI]

CoRR, 2018

Communication Scheduling as a First-Class Citizen in Distributed Machine Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2018

A Case Study-based Cybersecurity Ethics Curriculum.

[BibT_eX]

[DOI]

Proceedings of the 2018 USENIX Workshop on Advances in Security Education, 2018

Stochastic Variational Video Prediction.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Learning Representations, 2018

Scheduling, Isolation, and Cache Allocation: A Side-Channel Defense.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

2017

Pandas: Robust Locality-Aware Scheduling With Stochastic Delay Optimality.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2017

Stateful Scalable Stream Processing at LinkedIn.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2017

Toward Scalable Machine Learning and Data Mining: the Bioinformatics Case.

[BibT_eX]

[DOI]

CoRR, 2017

Decentralized User-Centric Access Control using PubSub over Blockchain.

[BibT_eX]

[DOI]

Faraz Faghri

CoRR, 2017

A Novel Scheduling Framework Leveraging Hardware Cache Partitioning for Cache-Side-Channel Elimination in Clouds.

[BibT_eX]

[DOI]

CoRR, 2017

Using OS Design Patterns to Provide Reliability and Security as-a-Service for VM-based Clouds.

[BibT_eX]

[DOI]

Zbigniew T. Kalbarczyk

Ravishankar K. Iyer

Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2017

Cloud security certifications: a comparison to improve cloud service provider security.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Internet of things and Cloud Computing, 2017

Fast Generation for Convolutional Autoregressive Models.

[BibT_eX]

[DOI]

Mark A. Hasegawa-Johnson

Thomas S. Huang

Proceedings of the 5th International Conference on Learning Representations, 2017

Trustworthy Services Built on Event-Based Probing for Layered Defense.

[BibT_eX]

[DOI]

Read Sprabery

Zachary John Estrada

Zbigniew T. Kalbarczyk

Ravishankar K. Iyer

Rakesh B. Bobba

Proceedings of the 2017 IEEE International Conference on Cloud Engineering, 2017

4CeeD: Real-Time Data Acquisition and Analysis Framework for Material-related Cyber-Physical Environments.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

IT Security and Privacy Standards in Comparison: Improving FedRAMP Authorization for Cloud Service Providers.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

Cloud Standards in Comparison: Are New Security Frameworks Improving Cloud Security?

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 2017

2016

Performance Modeling of Distributed Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2016

NoiseOut: A Simple Way to Prune Neural Networks.

[BibT_eX]

[DOI]

Mohammad Babaeizadeh

Paris Smaragdis

CoRR, 2016

Ambry: LinkedIn's Scalable Geo-Distributed Object Store.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Management of Data, 2016

World of Empowered IoT Users.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Internet-of-Things Design and Implementation, 2016

CRONets: Cloud-Routed Overlay Networks.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

Supporting On-demand Elasticity in Distributed Graph Processing.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Cloud Engineering, 2016

Phurti: Application and Network-Aware Flow Scheduling for Multi-tenant MapReduce Clusters.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Cloud Engineering, 2016

Toward Fabric: A Middleware Implementing High-level Description Languages on a Fabric-like Network.

[BibT_eX]

[DOI]

Proceedings of the 2016 Symposium on Architectures for Networking and Communications Systems, 2016

2015

Ushio: Analyzing News Media and Public Trends in Twitter.

[BibT_eX]

[DOI]

Kevin Chen-Chuan Chang

Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

R-Storm: Resource-Aware Scheduling in Storm.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Digital Forensics Education: A Multidisciplinary Curriculum Model.

[BibT_eX]

[DOI]

Proceedings of the Digital Forensics and Cyber Crime - 7th International Conference, 2015

Inter-flow consistency: A novel SDN update abstraction for supporting inter-flow constraints.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Conference on Communications and Network Security, 2015

Zorro: zero-cost reactive failure recovery in distributed graph processing.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM Symposium on Cloud Computing, 2015

2014

Profiling and evaluating hardware choices for MapReduce environments: An application-aware approach.

[BibT_eX]

[DOI]

Perform. Evaluation, 2014

Developing a new digital forensics curriculum.

[BibT_eX]

[DOI]

Digit. Investig., 2014

A Model-Based Namespace Metadata Benchmark for HDFS.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Autonomic Computing, 2014

VMDedup: Memory De-duplication in Hypervisor.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Cloud Engineering, 2014

CryptVMI: a flexible and encrypted virtual machine introspection system in the cloud.

[BibT_eX]

[DOI]

Read Sprabery

Proceedings of the Second International Workshop on Security in Cloud Computing, 2014

CouchFS: A High-Performance File System for Large Data Sets.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

Denial-of-Service Threat to Hadoop/YARN Clusters with Multi-tenancy.

[BibT_eX]

[DOI]

Jingwei Huang

David M. Nicol

Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

CryptVMI: Encrypted Virtual Machine Introspection in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

2013

Orchestrating an Ensemble of MapReduce Jobs for Minimizing Their Makespan.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2013

Generating request streams on Big Data using clustered renewal processes.

[BibT_eX]

[DOI]

Perform. Evaluation, 2013

Distributed security policy conformance.

[BibT_eX]

[DOI]

Comput. Secur., 2013

Breaking the MapReduce stage barrier.

[BibT_eX]

[DOI]

Clust. Comput., 2013

Limiting Data Exposure in Monitoring Multi-domain Policy Conformance.

[BibT_eX]

[DOI]

Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013

Formal design of communication checkers for ICCP using UPPAAL.

[BibT_eX]

[DOI]

Muhammad Salman Malik

Proceedings of the IEEE Fourth International Conference on Smart Grid Communications, 2013

Assessing software integrity of virtual appliances through software whitelists.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Theius: A Streaming Visualization Suite for Hadoop Clusters.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Cloud Engineering, 2013

Cloud Computing for the Power Grid: From Service Composition to Assured Clouds.

[BibT_eX]

[DOI]

Proceedings of the 5th USENIX Workshop on Hot Topics in Cloud Computing, 2013

The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology DCDV 2013.

[BibT_eX]

[DOI]

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

Towards SDN enabled network control delegation in clouds.

[BibT_eX]

[DOI]

Muhammad Salman Malik

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

Storage-efficient data replica number computation for multi-level priority data in distributed storage systems.

[BibT_eX]

[DOI]

Chris X. Cai

Cristina L. Abad

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

An empirical study on the software integrity of virtual appliances: are you really getting what you paid for?

[BibT_eX]

[DOI]

Proceedings of the 8th ACM Symposium on Information, Computer and Communications Security, 2013

2012

A real-time remote rendering system for interactive mobile graphics.

[BibT_eX]

[DOI]

Shu Shi

ACM Trans. Multim. Comput. Commun. Appl., 2012

Introduction to special section on formal methods in pervasive computing.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2012

A middleware for assured clouds.

[BibT_eX]

[DOI]

Reza Farivar

J. Internet Serv. Appl., 2012

Metadata Traces and Workload Models for Evaluating Big Storage Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Fifth International Conference on Utility and Cloud Computing, 2012

ADP: automated diagnosis of performance pathologies using hardware events.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems, 2012

Multi-organization Policy-Based Monitoring.

[BibT_eX]

[DOI]

Lucas T. Cook

Proceedings of the 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, 2012

Deadline-based workload management for MapReduce environments: Pieces of the performance puzzle.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

Two Sides of a Coin: Optimizing the Schedule of MapReduce Jobs to Minimize Their Makespan and Improve Cluster Performance.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on Modeling, 2012

A storage-centric analysis of MapReduce workloads: File popularity, temporal locality and arrival patterns.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Symposium on Workload Characterization, 2012

Plasma: Shared Memory Dynamic Allocation and Bank-Conflict-Free Access in GPUs.

[BibT_eX]

[DOI]

Reza Farivar

Proceedings of the 41st International Conference on Parallel Processing Workshops, 2012

Evidence of log integrity in policy-based security monitoring.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

Confidentiality of event data in policy-based monitoring.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

Synergy: A Middleware for Energy Conservation in Mobile Devices.

[BibT_eX]

[DOI]

Harshit Kharbanda

Manoj Krishnan

Proceedings of the 2012 IEEE International Conference on Cluster Computing, 2012

PIC: Partitioned Iterative Convergence for Clusters.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Cluster Computing, 2012

A Map-Reduce Based Framework for Heterogeneous Processing Element Cluster Environments.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011

Path Expressions.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Parallel Computing, 2011

Deadlocks.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Parallel Computing, 2011

Editorial.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2011

NetODESSA: Dynamic Policy Enforcement in Cloud Networks.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems Workshops, 2011

Characterizing Data Structures for Volatile Forensics.

[BibT_eX]

[DOI]

Ellick Chan

Proceedings of the 2011 IEEE Sixth International Workshop on Systematic Approaches to Digital Forensic Engineering, 2011

Attack-resilient compliance monitoring for large distributed infrastructure systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Network and System Security, 2011

Using graphics rendering contexts to enhance the real-time video coding for mobile cloud gaming.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Multimedia 2011, Scottsdale, AZ, USA, November 28, 2011

Resource Provisioning Framework for MapReduce Jobs with Performance Goals.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2011, 2011

Distortion over latency: Novel metric for measuring interactive performance in remote rendering systems.

[BibT_eX]

[DOI]

Shu Shi

Proceedings of the 2011 IEEE International Conference on Multimedia and Expo, 2011

ARIA: automatic resource inference and allocation for mapreduce environments.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Autonomic Computing, 2011

Consistent and Durable Data Structures for Non-Volatile Byte-Addressable Memory.

[BibT_eX]

[DOI]

Parthasarathy Ranganathan

Niraj Tolia

Proceedings of the 9th USENIX Conference on File and Storage Technologies, 2011

Play It Again, SimMR!

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Cluster Computing (CLUSTER), 2011

DARE: Adaptive Data Replication for Efficient Cluster Scheduling.

[BibT_eX]

[DOI]

Cristina L. Abad

Yi Lu

Proceedings of the 2011 IEEE International Conference on Cluster Computing (CLUSTER), 2011

2010

When Huge Is Routine: Scaling Genetic Algorithms and Estimation of Distribution Algorithms via Data-Intensive Computing.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Computational Intelligence, 2010

Cross-Layer Quality Assessment of Scalable Video Services on Mobile Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2010

Open Cirrus: A Global Cloud Computing Testbed.

[BibT_eX]

[DOI]

Computer, 2010

7<sup>th</sup> IEEE International Workshop on Middleware Support for Pervasive Computing (PerWare 2010): Message from the workshop chairs.

[BibT_eX]

[DOI]

Gregor Schiele

Justin Mazzola Paluska

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

3D Audio Interface for Rich Mobile Web Experiences.

[BibT_eX]

[DOI]

Victor K. Y. Wu

Proceedings of the Mobile Computing, Applications, and Services, 2010

A high-quality low-delay remote rendering system for 3D video.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Multimedia 2010, 2010

Build your world and play in it: Interacting with surface particles on complex objects.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Symposium on Mixed and Augmented Reality, 2010

Real-time parallel remote rendering for mobile devices using graphics processing units.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Conference on Multimedia and Expo, 2010

Lightning: self-adaptive, energy-conserving, multi-zoned, commodity green cloud storage system.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, 2010

Scaling eCGA model building via data-intensive computing.

[BibT_eX]

[DOI]

Xavier Llorà

David E. Goldberg

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

Forenscope: a framework for live forensics.

[BibT_eX]

[DOI]

Ellick Chan

Amey Chaugule

Proceedings of the Twenty-Sixth Annual Computer Security Applications Conference, 2010

2009

Batching: A Design Pattern for Efficient and Flexible Client/Server Interaction.

[BibT_eX]

[DOI]

Marta Patiño-Martínez

Ricardo Jiménez-Peris

Sergio Arévalo

Trans. Pattern Lang. Program., 2009

Budget constrained optimal security hardening of control networks for critical cyber-infrastructures.

[BibT_eX]

[DOI]

Int. J. Crit. Infrastructure Prot., 2009

Sh@re: Negotiated Audit in Social Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2009

Multi-aspect security configuration assessment.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, 2009

An Automatic User Study Demo in Indoor Environments and Its Privacy Implications.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

Message from the Workshop Co-Organizers.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

Real-time remote rendering of 3D video for mobile devices.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Multimedia 2009, 2009

Scaling Genetic Algorithms Using MapReduce.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Intelligent Systems Design and Applications, 2009

A statistical study on the impact of wireless signals' behavior on location estimation accuracy in 802.11 fingerprinting systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

M-TEEVE: real-time 3D video interaction and broadcasting framework for mobile devices.

[BibT_eX]

[DOI]

Proceedings of the 2nd International ICST Conference on Immersive Telecommunications, 2009

Simulation Framework and Performance Analysis of Multimedia Broadcasting Service over Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

Open Cirrus™ Cloud Computing Testbed: Federated Data Centers for Open Source Systems and Services Research.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009

MITHRA: Multiple data independent tasks on a heterogeneous resource architecture.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Conference on Cluster Computing, August 31, 2009

Using Generalized Query Tree to Cope with the Capture Effect in RFID Singulation.

[BibT_eX]

[DOI]

Victor K. Y. Wu

Proceedings of the 6th IEEE Consumer Communications and Networking Conference, 2009

2008

Cloaker: Hardware Supported Rootkit Concealment.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

Provably Correct Pervasive Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008

A Parallel Implementation of K-Means Clustering on GPUs.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2008

Password Streaming for RFID Privacy.

[BibT_eX]

[DOI]

Victor K. Y. Wu

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

PerSys 2008 PC Co-chairs' Message.

[BibT_eX]

[DOI]

Skevos Evripidou

Anja Schanzenberger

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

CuriOS: Improving Reliability through Operating System Structure.

[BibT_eX]

[DOI]

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

View-dependent real-time 3d video compression for mobile devices.

[BibT_eX]

[DOI]

Shu Shi

Proceedings of the 16th International Conference on Multimedia 2008, 2008

Detecting Cyber Attacks On Nuclear Power Plants.

[BibT_eX]

[DOI]

Julian L. Rrushi

Proceedings of the Critical Infrastructure Protection II, 2008

Automated Assessment Of Compliance With Security Best Practices.

[BibT_eX]

[DOI]

Zahid Anwar

Proceedings of the Critical Infrastructure Protection II, 2008

Automatic security assessment of critical cyber-infrastructures.

[BibT_eX]

[DOI]

Zahid Anwar

Ravinder Shankesi

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

BootJacker: compromising computers using forced restarts.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2007

What is the complexity of a distributed computing system?

[BibT_eX]

[DOI]

Complex., 2007

Exploring Recovery from Operating System Lockups.

[BibT_eX]

[DOI]

Jeffrey C. Carlyle

Proceedings of the 2007 USENIX Annual Technical Conference, 2007

Distributed Enforcement of Unlinkability Policies: Looking Beyond the Chinese Wall.

[BibT_eX]

[DOI]

Apu Kapadia

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

Secure Reincarnation of Compromised Servers Using Xen Based Time-Forking Virtual Machines.

[BibT_eX]

[DOI]

Zahid Anwar

Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications, 2007

Supporting Adaptive Application Mobility.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

PerSys 2007 PC Co-chairs' Message.

[BibT_eX]

[DOI]

Skevos Evripidou

Anja Schanzenberger

Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

Security Challenges of Reconfigurable Devices in the Power Grid.

[BibT_eX]

[DOI]

Suvda Myagmar

Marianne Winslett

Proceedings of the Critical Infrastructure Protection, 2007

Workshop Summary - ICSE Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE).

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Context switch overheads for Linux on ARM platforms.

[BibT_eX]

[DOI]

Jeffrey C. Carlyle

Proceedings of the Workshop on Experimental Computer Science, 2007

iKernel: Isolating Buggy and Malicious Device Drivers Using Hardware Virtualization Support.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Symposium on Dependable, 2007

Building a Self-Healing Operating System.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Symposium on Dependable, 2007

2006

Managing Pervasive Systems using Role-based Obligation Policies.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

Ordering Management Actions in Pervasive Systems using Specification-enhanced Policies.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Pervasive Computing and Communications (PerCom 2006), 2006

Context and Location-Aware Encryption for Pervasive Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

Clicky: Input in Pervasive Systems.

[BibT_eX]

[DOI]

Andrew Weiler

Jeffrey Naisbitt

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

PerSys 2006 PC Co-chairs' Message.

[BibT_eX]

[DOI]

Skevos Evripidou

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Specification-Enhanced Policies for Automated Management of Changes in IT Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th Conference on Systems Administration (LISA 2006), 2006

Multiple design patterns for voice over IP (VoIP) security.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Performance Computing and Communications Conference, 2006

Exception Handling in the Choices Operating System.

[BibT_eX]

[DOI]

Proceedings of the Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), 2006

An implementation-independent threat model for group communications.

[BibT_eX]

[DOI]

Jason Hester

William Yurcik

Proceedings of the Data Mining, 2006

Operational Security Requirements for Large Collaborative Compute Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the 2nd International ICST Conference on Collaborative Computing: Networking, 2006

2005

Towards fault tolerance pervasive computing.

[BibT_eX]

[DOI]

Shiva Chetan

IEEE Technol. Soc. Mag., 2005

Design, implementation, and performance of an automatic configuration service for distributed component systems.

[BibT_eX]

[DOI]

Jeferson Roberto Marques

Tomonori Yamane

Softw. Pract. Exp., 2005

Application polymorphism for autonomic ubiquitous computing.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2005

Leveraging Social-Network Infrastructure to Improve Peer-to-Peer Overlay Performance: Results from Orkut

[BibT_eX]

[DOI]

CoRR, 2005

Supporting Dynamically Changing Authorizations in Pervasive Communication Systems.

[BibT_eX]

[DOI]

Proceedings of the Security in Pervasive Computing, Second International Conference, 2005

Olympus: A High-Level Programming Model for Pervasive Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Pervasive Computing and Communications (PerCom 2005), 2005

Towards a Pervasive Computing Benchmark.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 2005

Applying Active Space Principles to Active Classrooms.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 2005

Gaia Microserver: An Extendable Mobile Middleware Platform.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Pervasive Computing and Communications (PerCom 2005), 2005

Beyond Global Communications: The Active World.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Pervasive Computing and Communications (PerCom 2005), 2005

A Policy-based Management Framework for Pervasive Systems using Axiomatized Rule-Actions.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005

An ECA-P Policy-based Framework for Managing Ubiquitous Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the 2nd Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2005), 2005

Plethora: A Framework for Converting Generic Applications to Run in a Ubiquitous Environment.

[BibT_eX]

[DOI]

Proceedings of the 2nd Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2005), 2005

A First Step Towards Call Survivability in Cellular Networks.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual IEEE Conference on Local Computer Networks (LCN 2005), 2005

A Survey of Peer-to-Peer Storage Techniques for Distributed File Systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

Automated and Adaptive Threshold Setting: Enabling Technology for Autonomy and Self-Management.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

Self-Optimization of Task Execution in Pervasive Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

Mobile Gaia: a middleware for ad-hoc pervasive computing.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Consumer Communications and Networking Conference, 2005

2004

Reasoning about Uncertain Contexts in Pervasive Computing Environments.

[BibT_eX]

[DOI]

IEEE Pervasive Comput., 2004

A Middleware Architecture for Securing Ubiquitous Computing Cyber Infrastructures.

[BibT_eX]

[DOI]

IEEE Distributed Syst. Online, 2004

Routing with Confidence: Supporting Discretionary Routing Requirements in Policy Based Networks.

[BibT_eX]

[DOI]

Apu Kapadia

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

Expanding Education through Active Space Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops), 2004

Super Spaces: A Middleware for Large-Scale Pervasive Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops), 2004

Mobile Polymorphic Applications in Ubiquitous Computing Environments.

[BibT_eX]

[DOI]

Shiva Chetan

Proceedings of the 1st Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2004), 2004

MiddleWhere: A Middleware for Location Awareness in Ubiquitous Computing Applications.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2004, 2004

Gaia Mobility: Extending Active Space Boundaries to Everyday Devices.

[BibT_eX]

[DOI]

Jim Bresler

Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

Autonomic Pervasive Computing Based on Planning.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004

KNOW Why your access was denied: regulating feedback for usable security.

[BibT_eX]

[DOI]

Apu Kapadia

Geetanjali Sampemane

Proceedings of the 11th ACM Conference on Computer and Communications Security, 2004

2003

Active security support for active networks.

[BibT_eX]

[DOI]

Zhaoyu Liu

IEEE Trans. Syst. Man Cybern. Part C, 2003

An infrastructure for context-awareness based on first order logic.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2003

An application of a context-aware file system.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2003

Use of ontologies in a pervasive computing environment.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2003

Dynamic access control: preserving safety and trust for network defense operations.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM Symposium on Access Control Models and Technologies, 2003

Dynamic Application Composition: Customizing the Behavior of an Active Space.

[BibT_eX]

[DOI]

Brian D. Ziebart

Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

Cerberus: A Context-Aware Security Scheme for Smart Spaces.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

A Middleware-Based Application Framework for Active Space Applications.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2003, 2003

A Middleware for Context-Aware Agents in Ubiquitous Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2003, 2003

A Context-Aware Data Management System for Ubiquitous Computing Application.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

Definition of a User Environment in a Ubiquitous System.

[BibT_eX]

[DOI]

Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

Modeling insecurity: policy engineering for survivability.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Workshop on Survivable and Self-Regenerative Systems, 2003

2002

A lightweight reconfigurable security mechanism for 3G/4G mobile devices.

[BibT_eX]

[DOI]

IEEE Wirel. Commun., 2002

Gaia: a middleware platform for active spaces.

[BibT_eX]

[DOI]

ACM SIGMOBILE Mob. Comput. Commun. Rev., 2002

A Middleware Infrastructure for Active Spaces.

[BibT_eX]

[DOI]

IEEE Pervasive Comput., 2002

ConChat: A Context-Aware Chat Program.

[BibT_eX]

[DOI]

IEEE Pervasive Comput., 2002

The case for reflective middleware.

[BibT_eX]

[DOI]

Commun. ACM, 2002

Advertising in a pervasive computing environment.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Mobile Commerce, 2002

Building Applications for Ubiquitous Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the Pervasive Computing, 2002

Towards Security and Privacy for Pervasive Computing.

[BibT_eX]

[DOI]

Proceedings of the Software Security -- Theories and Systems, 2002

Security as services in active networks.

[BibT_eX]

[DOI]

Zhaoyu Liu

Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002

A Flexible, Privacy-Preserving Authentication Framework for Ubiquitous Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

Routing Through the Mist: Privacy Preserving Communication in Ubiquitous Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

Developing Dynamic Security Policies.

[BibT_eX]

[DOI]

Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002

Access Control for Active Spaces.

[BibT_eX]

[DOI]

Geetanjali Sampemane

Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002

2001

Reflective Middleware: From Your Desk to Your Hand.

[BibT_eX]

[DOI]

IEEE Distributed Syst. Online, 2001

Guest Editors' Introduction: Reflective Middleware.

[BibT_eX]

IEEE Distributed Syst. Online, 2001

Using dynamic configuration to manage a scalable multimedia distribution system.

[BibT_eX]

[DOI]

Comput. Commun., 2001

Internet Search Engine Freshness by Web Server Help.

[BibT_eX]

[DOI]

Vijay Gupta

Proceedings of the 2001 Symposium on Applications and the Internet (SAINT 2001), 2001

Wearable Security Services.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

Dynamic Resource Management and Automatic Configuration of Distributed Component Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29, 2001

An Adaptive Data Object Service for Pervasive Computing Environments.

[BibT_eX]

[DOI]

Rey Juan Carlos

Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29, 2001

2000

Using interpreted CompositeCalls to improve operating system services.

[BibT_eX]

[DOI]

Ricardo Jiménez-Peris

Marta Patiño-Martínez

Sergio Arévalo

Softw. Pract. Exp., 2000

Dependence management in component-based distributed systems.

[BibT_eX]

[DOI]

IEEE Concurr., 2000

Gaia: enabling active spaces.

[BibT_eX]

[DOI]

Luiz Claudio Schara Magalhães

Proceedings of the 9th ACM SIGOPS European Workshop, 2000

Monitoring, Security, and Dynamic Configuration with the <i>dynamicTAO</i> Reflective ORB.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2000, 2000

Secure Dynamic Reconfiguration of Scalable CORBA Systems with Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the Agent Systems, 2000

Management of Environments in 2K.

[BibT_eX]

[DOI]

Dulcineia Carvalho

Proceedings of the Seventh International Conference on Parallel and Distributed Systems, 2000

Secure Information Flow in Mobile Bootstrapping Process.

[BibT_eX]

Zhaoyu Liu

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Flexible Secure Multicasting in Active Networks.

[BibT_eX]

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Reliable sender-initiated multicast for improved QoS.

[BibT_eX]

[DOI]

Vijay Gupta

Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000

Dynamic, Distributed, Secure Multicast in Active Networks.

[BibT_eX]

[DOI]

Sudha K. Varadarajan

Tin Qian

Proceedings of the 2000 IEEE International Conference on Communications: Global Convergence Through Communications, 2000

IRBAC 2000: Secure Interoperability Using Dynamic Role Translation.

[BibT_eX]

Proceedings of the International Conference on Internet Computing, 2000

2K: A Distributed Operating System for Dynamic Heterogeneous Environments.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Symposium on High Performance Distributed Computing, 2000

Secure Smart Homes using Jini and UIUC SESAME.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual Computer Security Applications Conference (ACSAC 2000), 2000

1999

Multimedia Support in Network Protocol Processing Subsystems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Media Streaming Protocol: An Adaptive Protocol for the Delivery of Audio and Video over the Internet.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

A fast degradation-free algorithm for DCT block extraction in the compressed domain.

[BibT_eX]

[DOI]

Yoshiaki Shibata

Zhigang Chen

Proceedings of the 1999 IEEE International Conference on Acoustics, 1999

Integrating PDAs into Distributed Systems: 2K and PalmORB.

[BibT_eX]

[DOI]

Proceedings of the Handheld and Ubiquitous Computing, First International Symposium, 1999

Automatic Configuration in the 2K Operating System.

[BibT_eX]

Dulcineia Carvalho

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

A Framework for Dynamically Configurable Multimedia Distribution.

[BibT_eX]

Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99), 1999

Keynote Speech: 2K: An OS for the New Millennium.

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Object-Oriented in Off++ - A Distributed Adaptable Microkernel.

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Supporting Automatic Configuration of Component-Based Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th USENIX Conference on Object-Oriented Technologies & Systems, 1999

1998

Quarterware for Middleware.

[BibT_eX]

[DOI]

Ashish Singhai

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

2K: A Reflective, Component-Based Operating System for Rapidly Changing Environments.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Towards a Grand Unified Framework for Mobile Objects.

[BibT_eX]

[DOI]

Sergio Arévalo

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Framework Design for End-to-End Optimization.

[BibT_eX]

[DOI]

Ashish Singhai

Proceedings of the ECOOP'98, 1998

1997

Extending OMG Event Service for Integrating Distributed Multimedia Components.

[BibT_eX]

[DOI]

Tin Qian

Proceedings of the Intelligence in Services and Networks: Technology for Cooperative Competition, 1997

Reflective ORBs: Supporting Robust, Time-Critical Distribution.

[BibT_eX]

[DOI]

Ashish Singhai

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1996

Real-Time Video and Audio in the World Wide Web.

[BibT_eX]

World Wide Web J., 1996

Distributed Shared Memory on Loosely Coupled Systems.

[BibT_eX]

Vicent Cholvi-Juan

Informatica (Slovenia), 1996

Latest Developments in Operating Systems (Introduction to the Special Section).

[BibT_eX]

[DOI]

Commun. ACM, 1996

A fast, flexible network interface framework.

[BibT_eX]

Willy S. Liao

Proceedings of the Protocols for High-Speed Networks V, 1996

Architecture-Oriented Visualization.

[BibT_eX]

[DOI]

Mohlalefi Sefika

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

An integrated architecture for open distributed multimedia computing.

[BibT_eX]

[DOI]

Tin Qian

Proceedings of the 1996 International Workshop on Multimedia Software Development, 1996

Security enhanced MPEG player.

[BibT_eX]

[DOI]

Proceedings of the 1996 International Workshop on Multimedia Software Development, 1996

Monitoring Compliance of a Software System with Its High-Level Design Models.

[BibT_eX]

[DOI]

Mohlalefi Sefika

Proceedings of the 18th International Conference on Software Engineering, 1996

Fast Dynamic Process Migration.

[BibT_eX]

[DOI]

E. T. Rousch

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Communication Compilation for Unreliable Networks.

[BibT_eX]

[DOI]

Amitabh Dave

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Inverse Mapping in the Handle Management System (poster).

[BibT_eX]

[DOI]

Varna Puvvada

Proceedings of the 1st ACM International Conference on Digital Libraries, 1996

1995

Compiling Knowledge-Based Programs (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

A Dynamic Priority-based Scheduling Method in Distributed Systems.

[BibT_eX]

Yongcheng Li

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1995

Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity.

[BibT_eX]

[DOI]

Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

Techniques for Global Optimization of Message Passing Communication on Unreliable Networks.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

μChoices: an object-oriented multimedia operating system.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

1994

Workshop report - flexibility in system software.

[BibT_eX]

[DOI]

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1994

A low-latency scalable locking algorithm for shared memory multiprocessors.

[BibT_eX]

[DOI]

Amitabh Dave

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

1993

A Technique for Documenting the Framework of an Object-Oriented System.

[BibT_eX]

[DOI]

Comput. Syst., 1993

Internet protocol traffic analysis with applications for ATM switch design.

[BibT_eX]

[DOI]

Andrew Schmidt

Comput. Commun. Rev., 1993

Designing and Implementing Choices: An Object-Oriented System in C++.

[BibT_eX]

[DOI]

Commun. ACM, 1993

Distributed Access to Persistent Objects.

[BibT_eX]

Swee Boon Lim

Lun Xiao

Proceedings of the Decentralized and Distributed Systems, 1993

Uniform Co-Scheduling Using Object-Oriented Design Techniques.

[BibT_eX]

Proceedings of the Decentralized and Distributed Systems, 1993

1992

Design Considerations for Shared Memory Multiprocessor Message Systems.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1992

The design of an object-oriented operating system: a case study of choices (abstract).

[BibT_eX]

[DOI]

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992

Choices, Frameworks and Refinement.

[BibT_eX]

[DOI]

Comput. Syst., 1992

Control Software for Virtual-Circuit Switches: Call Processing.

[BibT_eX]

[DOI]

Proceedings of the Future Tendencies in Computer Science, 1992

1991

Getting the most for your Megabit.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 1991

An Object-Oriented Model of Software Configuration Management.

[BibT_eX]

[DOI]

Hal S. Render

Proceedings of the 3rd International Workshop on Software Configuration Management, 1991

1990

Pulsa: Non-Blocking Packet Switching with Shift-Register Rings.

[BibT_eX]

[DOI]

Gary J. Murakami

Michael Faiman

Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1990

Considerations of Persistence and Security in Choices, an Object-Oriented Operating System.

[BibT_eX]

[DOI]

Proceedings of the Security and Persistence, 1990

C++ and Operating Systems Performance: A Case Study.

[BibT_eX]

Proceedings of the C++ Conference. San Francisco, 1990

1989

PLEASE: Executable specifications for incremental software development.

[BibT_eX]

[DOI]

J. Syst. Softw., 1989

ENCOMPASS: An environment for the incremental development of software.

[BibT_eX]

[DOI]

J. Syst. Softw., 1989

Virtual Memory and Backing Storage Management in Multiprocessor Operating Systems Using Object-Oriented Design Techniques.

[BibT_eX]

[DOI]

Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

Specifying concurrent systems with Δ-grammars.

[BibT_eX]

[DOI]

Simon M. Kaplan

Steven K. Goering

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

A Class Hierarchy for Building Stream-Oriented File Systems.

[BibT_eX]

Proceedings of the ECOOP '89: Proceedings of the Third European Conference on Object-Oriented Programming, 1989

1988

Process Management and Exception Handling in Multiprocessor Operating Systems.

[BibT_eX]

[DOI]

Proceedings of the Conference on Object-Oriented Programming Systems, 1988

CLEMMA: the design of a practical configuration librarian.

[BibT_eX]

[DOI]

Hal S. Render

Proceedings of the Conference on Software Maintenance, 1988

An Early Report on Encompass.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1988

A C++ Class Hierarchy for Building UNIX-like File Systems.

[BibT_eX]

Proceedings of the Conference on C++. Denver, 1988

A Multiprocessor Operating System Simulator.

[BibT_eX]

Proceedings of the Conference on C++. Denver, 1988

Automating the software development process.

[BibT_eX]

[DOI]

Hal S. Render

Robert N. Sum Jr.

Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

1987

Choices (Class Hierarchical Open Interface for Custom Embedded Systems).

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1987

The Design of a Multiprocessor Operating System.

[BibT_eX]

Proceedings of the C++ Workshop. Santa Fe, NM, USA, November 1987, 1987

1986

Atomic Actions for Fault-Tolerance Using CSP.

[BibT_eX]

[DOI]

Pankaj Jalote

IEEE Trans. Software Eng., 1986

Error Recovery in Asynchronous Systems.

[BibT_eX]

[DOI]

Brian Randell

IEEE Trans. Software Eng., 1986

An approach to operating system testing.

[BibT_eX]

[DOI]

Robert N. Sum Jr.

William J. Kubitz

J. Syst. Softw., 1986

The Professional Workstation Research Project.

[BibT_eX]

[DOI]

William J. Kubitz

IEEE Computer Graphics and Applications, 1986

An Architecture for Tool Integration.

[BibT_eX]

[DOI]

Proceedings of the Advanced Programming Environments, 1986

The SAGA Approach to Automated Project Management.

[BibT_eX]

[DOI]

Proceedings of the Advanced Programming Environments, 1986

Mediators: A Synchronization Mechanism.

[BibT_eX]

Judith E. Grass

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

Supporting the Software Development Process with Attributed NLC Graph Grammars.

[BibT_eX]

[DOI]

Simon M. Kaplan

Steven K. Goering

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

PLEASE: Predictable Logic based ExecutAble SpeCifications.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985

Maintained and constructor attributes.

[BibT_eX]

[DOI]

George McArthur Beshers

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

Atomic Actions in Concurrent Systems.

[BibT_eX]

Pankaj Jalote

Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

1984

Implementing Language Support in High-Level Languages.

[BibT_eX]

[DOI]

Martin S. McKendry

IEEE Trans. Software Eng., 1984

The SAGA Project: A System for Software Development.

[BibT_eX]

[DOI]

Peter A. Kirslis

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

RECIPE: Requirements for an evolutionary computer-based information processing environment.

[BibT_eX]

Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984

The Delay/Re-Read Protocol for Concurrency Control in Databases.

[BibT_eX]

[DOI]

Pankaj Jalote

Proceedings of the First International Conference on Data Engineering, 1984

1981

ILLINET: a 32 Mbits/sec. local-area network.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

SAGA: a system to automate the management of software production.

[BibT_eX]

[DOI]

P. G. Richards

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1980

Path PASCAL user manual.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1980

An overview of path Pascal's design.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1980

1979

Path Expressions in Pascal.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Software Engineering, 1979

Practical applications of path pascal in systems programming.

[BibT_eX]

[DOI]

Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979., 1979

1977

Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes

[BibT_eX]

[DOI]

Acta Informatica, 1977

1976

Path expressions : a technique for specifying process synchronization.

[BibT_eX]

[DOI]

PhD thesis, 1976

1975

Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes

[BibT_eX]

[DOI]

Acta Informatica, 1975

A Description of Path Expressions by Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975

1974

The specification of process synchronization by path expressions.

[BibT_eX]

[DOI]