Search For:

Displaying 1-10 out of 10 total
Suppose We Got a Do-Over: A Revolution for Secure Computing
Found in: IEEE Security & Privacy
By Howard Shrobe,Daniel Adams
Issue Date:November 2012
pp. 36-39
Although visionaries think of breakthrough ideas long before the rest of us, they often think of them before there's technology ready to handle them. Would Multics or the Lisp Machine still have achieved little market success if today's VLSI technology had...
Self-Adaptive Systems for Information Survivability: PMOP and AWDRAT
Found in: Self-Adaptive and Self-Organizing Systems, IEEE International Conference on
By Howard Shrobe, Robert Laddaga, Bob Balzer, Neil Goldman, Dave Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed
Issue Date:July 2007
pp. 332-335
<p>Information systems form the backbones of the critical infrastructures of modern societies. Unfortunately, these systems are highly vulnerable to attacks that can result in enormous damage.</p> <p>This paper describes two related syste...
Agile Monitoring for Cyber Defense
Found in: DARPA Information Survivability Conference and Exposition,
By Jon Doyle, William Long, Howard Shrobe, Peter Szolovits, Isaac Kohane
Issue Date:June 2001
pp. 0318
Abstract: The Monitoring, Analysis, and Interpretation Tool Arsenal (MAITA) seeks to support rapid construction and empirical reconfiguration of cyber defense monitoring systems inside the opponent decision cycle through a set of mechanisms including a fle...
Model-Based Troubleshooting for Information Survivability
Found in: DARPA Information Survivability Conference and Exposition,
By Howard Shrobe
Issue Date:January 2000
pp. 1231
To be survivable a system must be adaptable, able to respond to attacks and to achieve its goals. This paper considers one approach to adaptability, self-diagnosis and repair. We explore how ideas from the Artificial Intelligence community in model-based t...
Software Technology of the Future
Found in: Security and Privacy, IEEE Symposium on
By Howard Shrobe
Issue Date:May 1999
pp. 0237
The challenge for the future is to create software systems which interact with their environment. The key feature of such systems will be their ability to adapt their own behaviors to the variety of conditions presented by the harsh environment in which th...
Towards intelligent mapping applications: a study of elements found in cognitive maps
Found in: Proceedings of the 12th international conference on Intelligent user interfaces (IUI '07)
By Gary Look, Howard Shrobe
Issue Date:January 2007
pp. 309-312
This paper describes a study that examines common elements found in people's mental maps of the city of Boston. The intent of the study is to understand the mental model people have of a city. Understanding this mental model will provide insight into devel...
Simultaneous localization, calibration, and tracking in an ad hoc sensor network
Found in: Proceedings of the fifth international conference on Information processing in sensor networks (IPSN '06)
By Ali Rahimi, Anthony Grue, Christopher Taylor, Howard Shrobe, Jonathan Bachrach
Issue Date:April 2006
pp. 27-33
We introduce Simultaneous Localization and Tracking, called SLAT, the problem of tracking a target in a sensor network while simultaneously localizing and calibrating the nodes of the network. Our proposed solution, LaSLAT, is a Bayesian filter that provid...
A location representation for generating descriptive walking directions
Found in: Proceedings of the 10th international conference on Intelligent user interfaces (IUI '05)
By Buddhika Kottahachchi, Gary Look, Howard Shrobe, Robert Laddaga
Issue Date:January 2005
pp. 122-129
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of coordinates and containment relationships, they have no way to express the sema...
An architecture for constructing self-evolving software systems
Found in: Proceedings of the third international workshop on Software architecture (ISAW '98)
By Chrysanthos Dellarocas, Howard Shrobe, Mark Klein
Issue Date:November 1998
pp. 29-32
An important problem that arises in path oriented testing is the generation of test data that causes a program to follow a given path. In this paper, we present a novel program execution based approach using an iterative relaxation method to address the ab...
OOP and AI
Found in: Conference proceedings on Object-oriented programming systems, languages, and applications (OOPSLA '91)
By Carl Hewitt, Daniel Bobrow, Howard Shrobe, Jean-Francois Perror, Reid Smith
Issue Date:October 1991
pp. 89-99
The paper presents a discussion and a specification of an exception handling system dedicated to object-oriented programming. We show how a full object-oriented representation of exceptions and of protocols to handle them, using meta-classes, makes the sys...