- A DISCRETE-EVENT SYSTEMS MODEL FOR CONGESTION CONTROL 1
- Research Challenges in Information Systems for the Next Generation Electric Grid Rick Schantz, Jake Beal, Joe Loyall, Partha Pal, Kurt Rohloff, BBN Technologies
- APPROXIMATING MINIMAL COMMUNICATED EVENT SETS FOR
- CWEST: Disruptive Integration of Computation Technology for Data Analysis and Visualization
- Cyber-physical Systems Security-Challenges and Research Ideas Partha Pal, Rick Schantz, Kurt Rohloff, Joseph Loyall
- On the Computational Complexity of the Verification of Modular Discrete-Event Systems 1
- Quality Measures for Embedded Systems and Their Application to Control and Certification*
- A Survey of Security Concepts for Common Operating Environments Joseph Loyall, Kurt Rohloff, Partha Pal, Michael Atighetchi
- Managed Mission Assurance Concept, Methodology and Runtime Support
- krohloff, ppal matighet, schantz
- A Trend Pattern Approach to Forecasting Socio-Political Violence Kurt Rohloff, Rob Battle, Jim Chatigny, Rick Schantz
- A Knowledge Environment for Social Science Exploration Kurt Rohloff
- Computational Methods to Discover Sets of Patterns of Behaviors that Precede Political Events of Interest
- An Evaluation of Triple-Store Technologies for Large Data Stores
- Scalable, Adaptive, Time-Bounded Node Failure Detection Matthew Gillen, Kurt Rohloff
- Software Certification for Distributed, Adaptable Medical Systems: Position Paper on Challenges and Paths Forward
- Dynamic, High Confidence Certifiable Embedded Software: Position Paper
- A Hierarchical Control System for Dynamic Resource Management Kurt Rohloff, Jianming Ye, Joseph Loyall, Richard Schantz
- Stochastic Behavior of Random Constant Scanning Worms Kurt R. Rohloff and Tamer Basar
- The Diagnosis of Failures via the Combination of Distributed Observations
- Approximation Algorithms, Sensor Selections and Information Sharing
- Symmetry Reductions for a Class of Discrete-Event Systems Kurt Rohloff and Stephane Lafortune
- The Control and Verification of Similar Agents Operating in a Broadcast Network Environment 1
- C e n t r u m v o o r W i s k u n d e e n I n f o r m a t i c a Modelling, Analysis and Simulation
- High-Performance, Massively Scalable Distributed Systems using the MapReduce Software Framework
- The Identification of Sequential Patterns Preceding the Occurrence of Political Events of Interest
- PSPACE-completeness of Modular Supervisory Control Problems Kurt Rohloff and Stephane Lafortune
- Quality Measures for Embedded Systems and Their Application to Control and Certification*
- Automated Discovery and Modeling of Sequential Patterns Preceding Events of Interest
- Cloud computing for Scalability: The SHARD Triple-Store
- Issues in Context-Aware and Adaptive Middleware for Wireless, Mo-bile Networked Systems
- Cloud computing for Scalability: The SHARD Triple-Store
- In this paper we discuss the problem of coordinating resource allocations among
- SHARD Triple-Store: Tools for Web-Scale SemWeb
- COMPUTATIONS ON DISTRIBUTED DISCRETE-EVENT SYSTEMS
- Discovering Automated Sequential Patterns that Precede Outbreaks of Socio-Political Kurt Rohloff, Paul Rubel
- Semantics in the Cloud Scalable Distributed Computing for the Semantic Web and
- High-Assurance Distributed, Adaptive Software for Dynamic Kurt Rohloff, Joseph Loyall, Partha Pal, Richard Schantz
- Fighting Through Cyber Attacks An Informed Perspective Toward the Future
- Cost-Effective Certification of High-Assurance Cyber Physical Systems
- Clause-Iteration with MapReduce to Scalably Query Data Graphs in the SHARD Graph-Store
- Measures to Reduce the Development Time of Large Systems
- An Ontology for Resource Sharing Kurt Rohloff, Joseph Loyall
- SIPHER: Scalable Implementation of Primitives for Homomorphic EncRyption FPGA implementation using Simulink
- MODELING SPATIAL ACTIVITY DISTRIBUTIONS IN COMPLEX URBAN CONDITIONS 1 Modeling Spatial Activity Distributions in Complex
