Roy H. Campbell

Affiliations:
  • University of Illinois at Urbana-Champaign, USA


According to our database1, Roy H. Campbell authored at least 312 papers between 1974 and 2023.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2005, "For contributions to concurrent programming, system software, security, and ubiquitous computing.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Evidence for flexible navigation strategies during spatial learning involving path choices.
Spatial Cogn. Comput., July, 2023

Application of Aligned-UMAP to longitudinal biomedical studies.
Patterns, June, 2023

Detection of Novel COVID-19 Variants with Zero-Shot Learning.
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.
Proc. ACM Meas. Anal. Comput. Syst., 2021

GenoML: Automated Machine Learning for Genomics.
CoRR, 2021

Mapping Risk Assessment Strategy for COVID-19 Mobile Apps' Vulnerabilities.
Proceedings of the Intelligent Computing, 2021

Identifying New COVID-19 Variants from Spike Proteins Using Novelty Detection.
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.
CoRR, 2020

HAL: Computer System for Scalable Deep Learning.
Proceedings of the PEARC '20: Practice and Experience in Advanced Research Computing, 2020

Model Based Reinforcement Learning for Atari.
Proceedings of the 8th International Conference on Learning Representations, 2020

Towards An Application Objective-Aware Network Interface.
Proceedings of the 12th USENIX Workshop on Hot Topics in Cloud Computing, 2020

2019
Model-Based Reinforcement Learning for Atari.
CoRR, 2019

Attack Directories, Not Caches: Side Channel Attacks in a Non-Inclusive World.
Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

tensorflow-tracing: A Performance Tuning Framework for Production.
Proceedings of the 2019 USENIX Conference on Operational Machine Learning, 2019

TicTac: Accelerating Distributed Deep Learning with Communication Scheduling.
Proceedings of the Second Conference on Machine Learning and Systems, SysML 2019, 2019

BRACELET: Edge-Cloud Microservice Infrastructure for Aging Scientific Instruments.
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.
CoRR, 2018

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

A Case Study-based Cybersecurity Ethics Curriculum.
Proceedings of the 2018 USENIX Workshop on Advances in Security Education, 2018

Stochastic Variational Video Prediction.
Proceedings of the 6th International Conference on Learning Representations, 2018

Scheduling, Isolation, and Cache Allocation: A Side-Channel Defense.
Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

2017
Pandas: Robust Locality-Aware Scheduling With Stochastic Delay Optimality.
IEEE/ACM Trans. Netw., 2017

Stateful Scalable Stream Processing at LinkedIn.
Proc. VLDB Endow., 2017

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

Decentralized User-Centric Access Control using PubSub over Blockchain.
CoRR, 2017

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

Using OS Design Patterns to Provide Reliability and Security as-a-Service for VM-based Clouds.
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.
Proceedings of the Second International Conference on Internet of things and Cloud Computing, 2017

Fast Generation for Convolutional Autoregressive Models.
Proceedings of the 5th International Conference on Learning Representations, 2017

Trustworthy Services Built on Event-Based Probing for Layered Defense.
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.
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.
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

Cloud Standards in Comparison: Are New Security Frameworks Improving Cloud Security?
Proceedings of the 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 2017

2016
Performance Modeling of Distributed Deep Neural Networks.
CoRR, 2016

NoiseOut: A Simple Way to Prune Neural Networks.
CoRR, 2016

Ambry: LinkedIn's Scalable Geo-Distributed Object Store.
Proceedings of the 2016 International Conference on Management of Data, 2016

World of Empowered IoT Users.
Proceedings of the First IEEE International Conference on Internet-of-Things Design and Implementation, 2016

CRONets: Cloud-Routed Overlay Networks.
Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

Supporting On-demand Elasticity in Distributed Graph Processing.
Proceedings of the 2016 IEEE International Conference on Cloud Engineering, 2016

Phurti: Application and Network-Aware Flow Scheduling for Multi-tenant MapReduce Clusters.
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.
Proceedings of the 2016 Symposium on Architectures for Networking and Communications Systems, 2016

2015
Ushio: Analyzing News Media and Public Trends in Twitter.
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

R-Storm: Resource-Aware Scheduling in Storm.
Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Digital Forensics Education: A Multidisciplinary Curriculum Model.
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.
Proceedings of the 2015 IEEE Conference on Communications and Network Security, 2015

Zorro: zero-cost reactive failure recovery in distributed graph processing.
Proceedings of the Sixth ACM Symposium on Cloud Computing, 2015

2014
Profiling and evaluating hardware choices for MapReduce environments: An application-aware approach.
Perform. Evaluation, 2014

Developing a new digital forensics curriculum.
Digit. Investig., 2014

A Model-Based Namespace Metadata Benchmark for HDFS.
Proceedings of the 11th International Conference on Autonomic Computing, 2014

VMDedup: Memory De-duplication in Hypervisor.
Proceedings of the 2014 IEEE International Conference on Cloud Engineering, 2014

CryptVMI: a flexible and encrypted virtual machine introspection system in the cloud.
Proceedings of the Second International Workshop on Security in Cloud Computing, 2014

CouchFS: A High-Performance File System for Large Data Sets.
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.
Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

CryptVMI: Encrypted Virtual Machine Introspection in the Cloud.
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.
IEEE Trans. Dependable Secur. Comput., 2013

Generating request streams on Big Data using clustered renewal processes.
Perform. Evaluation, 2013

Distributed security policy conformance.
Comput. Secur., 2013

Breaking the MapReduce stage barrier.
Clust. Comput., 2013

Limiting Data Exposure in Monitoring Multi-domain Policy Conformance.
Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013

Formal design of communication checkers for ICCP using UPPAAL.
Proceedings of the IEEE Fourth International Conference on Smart Grid Communications, 2013

Assessing software integrity of virtual appliances through software whitelists.
Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Theius: A Streaming Visualization Suite for Hadoop Clusters.
Proceedings of the 2013 IEEE International Conference on Cloud Engineering, 2013

Cloud Computing for the Power Grid: From Service Composition to Assured Clouds.
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.
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.
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.
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?
Proceedings of the 8th ACM Symposium on Information, Computer and Communications Security, 2013

2012
A real-time remote rendering system for interactive mobile graphics.
ACM Trans. Multim. Comput. Commun. Appl., 2012

Introduction to special section on formal methods in pervasive computing.
ACM Trans. Auton. Adapt. Syst., 2012

A middleware for assured clouds.
J. Internet Serv. Appl., 2012

Metadata Traces and Workload Models for Evaluating Big Storage Systems.
Proceedings of the IEEE Fifth International Conference on Utility and Cloud Computing, 2012

ADP: automated diagnosis of performance pathologies using hardware events.
Proceedings of the ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems, 2012

Multi-organization Policy-Based Monitoring.
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.
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.
Proceedings of the 20th IEEE International Symposium on Modeling, 2012

A storage-centric analysis of MapReduce workloads: File popularity, temporal locality and arrival patterns.
Proceedings of the 2012 IEEE International Symposium on Workload Characterization, 2012

Plasma: Shared Memory Dynamic Allocation and Bank-Conflict-Free Access in GPUs.
Proceedings of the 41st International Conference on Parallel Processing Workshops, 2012

Evidence of log integrity in policy-based security monitoring.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

Confidentiality of event data in policy-based monitoring.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

Synergy: A Middleware for Energy Conservation in Mobile Devices.
Proceedings of the 2012 IEEE International Conference on Cluster Computing, 2012

PIC: Partitioned Iterative Convergence for Clusters.
Proceedings of the 2012 IEEE International Conference on Cluster Computing, 2012

A Map-Reduce Based Framework for Heterogeneous Processing Element Cluster Environments.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011
Path Expressions.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Deadlocks.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Editorial.
Pervasive Mob. Comput., 2011

NetODESSA: Dynamic Policy Enforcement in Cloud Networks.
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems Workshops, 2011

Characterizing Data Structures for Volatile Forensics.
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.
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.
Proceedings of the 19th International Conference on Multimedia 2011, Scottsdale, AZ, USA, November 28, 2011

Resource Provisioning Framework for MapReduce Jobs with Performance Goals.
Proceedings of the Middleware 2011, 2011

Distortion over latency: Novel metric for measuring interactive performance in remote rendering systems.
Proceedings of the 2011 IEEE International Conference on Multimedia and Expo, 2011

ARIA: automatic resource inference and allocation for mapreduce environments.
Proceedings of the 8th International Conference on Autonomic Computing, 2011

Consistent and Durable Data Structures for Non-Volatile Byte-Addressable Memory.
Proceedings of the 9th USENIX Conference on File and Storage Technologies, 2011

Play It Again, SimMR!
Proceedings of the 2011 IEEE International Conference on Cluster Computing (CLUSTER), 2011

DARE: Adaptive Data Replication for Efficient Cluster Scheduling.
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.
Proceedings of the Parallel and Distributed Computational Intelligence, 2010

Cross-Layer Quality Assessment of Scalable Video Services on Mobile Embedded Systems.
IEEE Trans. Mob. Comput., 2010

Open Cirrus: A Global Cloud Computing Testbed.
Computer, 2010

7<sup>th</sup> IEEE International Workshop on Middleware Support for Pervasive Computing (PerWare 2010): Message from the workshop chairs.
Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

3D Audio Interface for Rich Mobile Web Experiences.
Proceedings of the Mobile Computing, Applications, and Services, 2010

A high-quality low-delay remote rendering system for 3D video.
Proceedings of the 18th International Conference on Multimedia 2010, 2010

Build your world and play in it: Interacting with surface particles on complex objects.
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.
Proceedings of the 2010 IEEE International Conference on Multimedia and Expo, 2010

Lightning: self-adaptive, energy-conserving, multi-zoned, commodity green cloud storage system.
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, 2010

Scaling eCGA model building via data-intensive computing.
Proceedings of the IEEE Congress on Evolutionary Computation, 2010

Forenscope: a framework for live forensics.
Proceedings of the Twenty-Sixth Annual Computer Security Applications Conference, 2010

2009
Batching: A Design Pattern for Efficient and Flexible Client/Server Interaction.
Trans. Pattern Lang. Program., 2009

Budget constrained optimal security hardening of control networks for critical cyber-infrastructures.
Int. J. Crit. Infrastructure Prot., 2009

Sh@re: Negotiated Audit in Social Networks.
Proceedings of the IEEE International Conference on Systems, 2009

Multi-aspect security configuration assessment.
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.
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

Message from the Workshop Co-Organizers.
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

Real-time remote rendering of 3D video for mobile devices.
Proceedings of the 17th International Conference on Multimedia 2009, 2009

Scaling Genetic Algorithms Using MapReduce.
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.
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.
Proceedings of the 2nd International ICST Conference on Immersive Telecommunications, 2009

Simulation Framework and Performance Analysis of Multimedia Broadcasting Service over Wireless Networks.
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.
Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009

MITHRA: Multiple data independent tasks on a heterogeneous resource architecture.
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.
Proceedings of the 6th IEEE Consumer Communications and Networking Conference, 2009

2008
Cloaker: Hardware Supported Rootkit Concealment.
Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

Provably Correct Pervasive Computing Environments.
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.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2008

Password Streaming for RFID Privacy.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

PerSys 2008 PC Co-chairs' Message.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

CuriOS: Improving Reliability through Operating System Structure.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

View-dependent real-time 3d video compression for mobile devices.
Proceedings of the 16th International Conference on Multimedia 2008, 2008

Detecting Cyber Attacks On Nuclear Power Plants.
Proceedings of the Critical Infrastructure Protection II, 2008

Automated Assessment Of Compliance With Security Best Practices.
Proceedings of the Critical Infrastructure Protection II, 2008

Automatic security assessment of critical cyber-infrastructures.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

BootJacker: compromising computers using forced restarts.
Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2007
What is the complexity of a distributed computing system?
Complex., 2007

Exploring Recovery from Operating System Lockups.
Proceedings of the 2007 USENIX Annual Technical Conference, 2007

Distributed Enforcement of Unlinkability Policies: Looking Beyond the Chinese Wall.
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.
Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications, 2007

Supporting Adaptive Application Mobility.
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

PerSys 2007 PC Co-chairs' Message.
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

Security Challenges of Reconfigurable Devices in the Power Grid.
Proceedings of the Critical Infrastructure Protection, 2007

Workshop Summary - ICSE Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE).
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Context switch overheads for Linux on ARM platforms.
Proceedings of the Workshop on Experimental Computer Science, 2007

iKernel: Isolating Buggy and Malicious Device Drivers Using Hardware Virtualization Support.
Proceedings of the Third IEEE International Symposium on Dependable, 2007

Building a Self-Healing Operating System.
Proceedings of the Third IEEE International Symposium on Dependable, 2007

2006
Managing Pervasive Systems using Role-based Obligation Policies.
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.
Proceedings of the 4th IEEE International Conference on Pervasive Computing and Communications (PerCom 2006), 2006

Context and Location-Aware Encryption for Pervasive Computing Environments.
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

Clicky: Input in Pervasive Systems.
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

PerSys 2006 PC Co-chairs' Message.
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.
Proceedings of the 20th Conference on Systems Administration (LISA 2006), 2006

Multiple design patterns for voice over IP (VoIP) security.
Proceedings of the 25th IEEE International Performance Computing and Communications Conference, 2006

Exception Handling in the Choices Operating System.
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.
Proceedings of the Data Mining, 2006

Operational Security Requirements for Large Collaborative Compute Infrastructures.
Proceedings of the 2nd International ICST Conference on Collaborative Computing: Networking, 2006

2005
Towards fault tolerance pervasive computing.
IEEE Technol. Soc. Mag., 2005

Design, implementation, and performance of an automatic configuration service for distributed component systems.
Softw. Pract. Exp., 2005

Application polymorphism for autonomic ubiquitous computing.
Multiagent Grid Syst., 2005

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

Supporting Dynamically Changing Authorizations in Pervasive Communication Systems.
Proceedings of the Security in Pervasive Computing, Second International Conference, 2005

Olympus: A High-Level Programming Model for Pervasive Computing Environments.
Proceedings of the 3rd IEEE International Conference on Pervasive Computing and Communications (PerCom 2005), 2005

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

Applying Active Space Principles to Active Classrooms.
Proceedings of the 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 2005

Gaia Microserver: An Extendable Mobile Middleware Platform.
Proceedings of the 3rd IEEE International Conference on Pervasive Computing and Communications (PerCom 2005), 2005

Beyond Global Communications: The Active World.
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.
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.
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.
Proceedings of the 2nd Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2005), 2005

A First Step Towards Call Survivability in Cellular Networks.
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.
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.
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

Self-Optimization of Task Execution in Pervasive Computing Environments.
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

Mobile Gaia: a middleware for ad-hoc pervasive computing.
Proceedings of the 2nd IEEE Consumer Communications and Networking Conference, 2005

2004
Reasoning about Uncertain Contexts in Pervasive Computing Environments.
IEEE Pervasive Comput., 2004

A Middleware Architecture for Securing Ubiquitous Computing Cyber Infrastructures.
IEEE Distributed Syst. Online, 2004

Routing with Confidence: Supporting Discretionary Routing Requirements in Policy Based Networks.
Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

Expanding Education through Active Space Collaboration.
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.
Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops), 2004

Mobile Polymorphic Applications in Ubiquitous Computing Environments.
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.
Proceedings of the Middleware 2004, 2004

Gaia Mobility: Extending Active Space Boundaries to Everyday Devices.
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

Autonomic Pervasive Computing Based on Planning.
Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004

KNOW Why your access was denied: regulating feedback for usable security.
Proceedings of the 11th ACM Conference on Computer and Communications Security, 2004

2003
Active security support for active networks.
IEEE Trans. Syst. Man Cybern. Part C, 2003

An infrastructure for context-awareness based on first order logic.
Pers. Ubiquitous Comput., 2003

An application of a context-aware file system.
Pers. Ubiquitous Comput., 2003

Use of ontologies in a pervasive computing environment.
Knowl. Eng. Rev., 2003

Dynamic access control: preserving safety and trust for network defense operations.
Proceedings of the 8th ACM Symposium on Access Control Models and Technologies, 2003

Dynamic Application Composition: Customizing the Behavior of an Active Space.
Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

Cerberus: A Context-Aware Security Scheme for Smart Spaces.
Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

A Middleware-Based Application Framework for Active Space Applications.
Proceedings of the Middleware 2003, 2003

A Middleware for Context-Aware Agents in Ubiquitous Computing Environments.
Proceedings of the Middleware 2003, 2003

A Context-Aware Data Management System for Ubiquitous Computing Application.
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

Definition of a User Environment in a Ubiquitous System.
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

Modeling insecurity: policy engineering for survivability.
Proceedings of the 2003 ACM Workshop on Survivable and Self-Regenerative Systems, 2003

2002
A lightweight reconfigurable security mechanism for 3G/4G mobile devices.
IEEE Wirel. Commun., 2002

Gaia: a middleware platform for active spaces.
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2002

A Middleware Infrastructure for Active Spaces.
IEEE Pervasive Comput., 2002

ConChat: A Context-Aware Chat Program.
IEEE Pervasive Comput., 2002

The case for reflective middleware.
Commun. ACM, 2002

Advertising in a pervasive computing environment.
Proceedings of the 2nd International Workshop on Mobile Commerce, 2002

Building Applications for Ubiquitous Computing Environments.
Proceedings of the Pervasive Computing, 2002

Towards Security and Privacy for Pervasive Computing.
Proceedings of the Software Security -- Theories and Systems, 2002

Security as services in active networks.
Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002

A Flexible, Privacy-Preserving Authentication Framework for Ubiquitous Computing Environments.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

Routing Through the Mist: Privacy Preserving Communication in Ubiquitous Computing Environments.
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

Developing Dynamic Security Policies.
Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002

Access Control for Active Spaces.
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002

2001
Reflective Middleware: From Your Desk to Your Hand.
IEEE Distributed Syst. Online, 2001

Guest Editors' Introduction: Reflective Middleware.
IEEE Distributed Syst. Online, 2001

Using dynamic configuration to manage a scalable multimedia distribution system.
Comput. Commun., 2001

Internet Search Engine Freshness by Web Server Help.
Proceedings of the 2001 Symposium on Applications and the Internet (SAINT 2001), 2001

Wearable Security Services.
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.
Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29, 2001

An Adaptive Data Object Service for Pervasive Computing Environments.
Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29, 2001

2000
Using interpreted CompositeCalls to improve operating system services.
Softw. Pract. Exp., 2000

Dependence management in component-based distributed systems.
IEEE Concurr., 2000

Gaia: enabling active spaces.
Proceedings of the 9th ACM SIGOPS European Workshop, 2000

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

Secure Dynamic Reconfiguration of Scalable CORBA Systems with Mobile Agents.
Proceedings of the Agent Systems, 2000

Management of Environments in 2K.
Proceedings of the Seventh International Conference on Parallel and Distributed Systems, 2000

Secure Information Flow in Mobile Bootstrapping Process.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Flexible Secure Multicasting in Active Networks.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Reliable sender-initiated multicast for improved QoS.
Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000

Dynamic, Distributed, Secure Multicast in Active Networks.
Proceedings of the 2000 IEEE International Conference on Communications: Global Convergence Through Communications, 2000

IRBAC 2000: Secure Interoperability Using Dynamic Role Translation.
Proceedings of the International Conference on Internet Computing, 2000

2K: A Distributed Operating System for Dynamic Heterogeneous Environments.
Proceedings of the Ninth IEEE International Symposium on High Performance Distributed Computing, 2000

Secure Smart Homes using Jini and UIUC SESAME.
Proceedings of the 16th Annual Computer Security Applications Conference (ACSAC 2000), 2000

1999
Multimedia Support in Network Protocol Processing Subsystems.
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.
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.
Proceedings of the 1999 IEEE International Conference on Acoustics, 1999

Integrating PDAs into Distributed Systems: 2K and PalmORB.
Proceedings of the Handheld and Ubiquitous Computing, First International Symposium, 1999

Automatic Configuration in the 2K Operating System.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

A Framework for Dynamically Configurable Multimedia Distribution.
Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99), 1999

Keynote Speech: 2K: An OS for the New Millennium.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Object-Oriented in Off++ - A Distributed Adaptable Microkernel.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Supporting Automatic Configuration of Component-Based Distributed Systems.
Proceedings of the 5th USENIX Conference on Object-Oriented Technologies & Systems, 1999

1998
Quarterware for Middleware.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

2K: A Reflective, Component-Based Operating System for Rapidly Changing Environments.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Towards a Grand Unified Framework for Mobile Objects.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Framework Design for End-to-End Optimization.
Proceedings of the ECOOP'98, 1998

1997
Extending OMG Event Service for Integrating Distributed Multimedia Components.
Proceedings of the Intelligence in Services and Networks: Technology for Cooperative Competition, 1997

Reflective ORBs: Supporting Robust, Time-Critical Distribution.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

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

Distributed Shared Memory on Loosely Coupled Systems.
Informatica (Slovenia), 1996

Latest Developments in Operating Systems (Introduction to the Special Section).
Commun. ACM, 1996

A fast, flexible network interface framework.
Proceedings of the Protocols for High-Speed Networks V, 1996

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

An integrated architecture for open distributed multimedia computing.
Proceedings of the 1996 International Workshop on Multimedia Software Development, 1996

Security enhanced MPEG player.
Proceedings of the 1996 International Workshop on Multimedia Software Development, 1996

Monitoring Compliance of a Software System with Its High-Level Design Models.
Proceedings of the 18th International Conference on Software Engineering, 1996

Fast Dynamic Process Migration.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Communication Compilation for Unreliable Networks.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Inverse Mapping in the Handle Management System (poster).
Proceedings of the 1st ACM International Conference on Digital Libraries, 1996

1995
Compiling Knowledge-Based Programs (Abstract).
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

A Dynamic Priority-based Scheduling Method in Distributed Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1995

Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity.
Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

Techniques for Global Optimization of Message Passing Communication on Unreliable Networks.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

μChoices: an object-oriented multimedia operating system.
Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

1994
Workshop report - flexibility in system software.
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1994

A low-latency scalable locking algorithm for shared memory multiprocessors.
Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

1993
A Technique for Documenting the Framework of an Object-Oriented System.
Comput. Syst., 1993

Internet protocol traffic analysis with applications for ATM switch design.
Comput. Commun. Rev., 1993

Designing and Implementing Choices: An Object-Oriented System in C++.
Commun. ACM, 1993

Distributed Access to Persistent Objects.
Proceedings of the Decentralized and Distributed Systems, 1993

Uniform Co-Scheduling Using Object-Oriented Design Techniques.
Proceedings of the Decentralized and Distributed Systems, 1993

1992
Design Considerations for Shared Memory Multiprocessor Message Systems.
IEEE Trans. Parallel Distributed Syst., 1992

The design of an object-oriented operating system: a case study of choices (abstract).
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992

Choices, Frameworks and Refinement.
Comput. Syst., 1992

Control Software for Virtual-Circuit Switches: Call Processing.
Proceedings of the Future Tendencies in Computer Science, 1992

1991
Getting the most for your Megabit.
Comput. Commun. Rev., 1991

An Object-Oriented Model of Software Configuration Management.
Proceedings of the 3rd International Workshop on Software Configuration Management, 1991

1990
Pulsa: Non-Blocking Packet Switching with Shift-Register Rings.
Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1990

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

C++ and Operating Systems Performance: A Case Study.
Proceedings of the C++ Conference. San Francisco, 1990

1989
PLEASE: Executable specifications for incremental software development.
J. Syst. Softw., 1989

ENCOMPASS: An environment for the incremental development of software.
J. Syst. Softw., 1989

Virtual Memory and Backing Storage Management in Multiprocessor Operating Systems Using Object-Oriented Design Techniques.
Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

Specifying concurrent systems with Δ-grammars.
Proceedings of the 5th International Workshop on Software Specification and Design, 1989

A Class Hierarchy for Building Stream-Oriented File Systems.
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.
Proceedings of the Conference on Object-Oriented Programming Systems, 1988

CLEMMA: the design of a practical configuration librarian.
Proceedings of the Conference on Software Maintenance, 1988

An Early Report on Encompass.
Proceedings of the Proceedings, 1988

A C++ Class Hierarchy for Building UNIX-like File Systems.
Proceedings of the Conference on C++. Denver, 1988

A Multiprocessor Operating System Simulator.
Proceedings of the Conference on C++. Denver, 1988

Automating the software development process.
Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

1987
Choices (Class Hierarchical Open Interface for Custom Embedded Systems).
ACM SIGOPS Oper. Syst. Rev., 1987

The Design of a Multiprocessor Operating System.
Proceedings of the C++ Workshop. Santa Fe, NM, USA, November 1987, 1987

1986
Atomic Actions for Fault-Tolerance Using CSP.
IEEE Trans. Software Eng., 1986

Error Recovery in Asynchronous Systems.
IEEE Trans. Software Eng., 1986

An approach to operating system testing.
J. Syst. Softw., 1986

The Professional Workstation Research Project.
IEEE Computer Graphics and Applications, 1986

An Architecture for Tool Integration.
Proceedings of the Advanced Programming Environments, 1986

The SAGA Approach to Automated Project Management.
Proceedings of the Advanced Programming Environments, 1986

Mediators: A Synchronization Mechanism.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

Supporting the Software Development Process with Attributed NLC Graph Grammars.
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.
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

PLEASE: Predictable Logic based ExecutAble SpeCifications.
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985
Maintained and constructor attributes.
Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

Atomic Actions in Concurrent Systems.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

1984
Implementing Language Support in High-Level Languages.
IEEE Trans. Software Eng., 1984

The SAGA Project: A System for Software Development.
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.
Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984

The Delay/Re-Read Protocol for Concurrency Control in Databases.
Proceedings of the First International Conference on Data Engineering, 1984

1981
ILLINET: a 32 Mbits/sec. local-area network.
Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

SAGA: a system to automate the management of software production.
Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1980
Path PASCAL user manual.
ACM SIGPLAN Notices, 1980

An overview of path Pascal's design.
ACM SIGPLAN Notices, 1980

1979
Path Expressions in Pascal.
Proceedings of the 4th International Conference on Software Engineering, 1979

Practical applications of path pascal in systems programming.
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
Acta Informatica, 1977

1976
Path expressions : a technique for specifying process synchronization.
PhD thesis, 1976

1975
Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes
Acta Informatica, 1975

A Description of Path Expressions by Petri Nets.
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.
Proceedings of the Operating Systems, 1974


  Loading...