Robert Johnson

Publication List Details

Period

0000 - 2009

Number

95

Co-Authors

Flow-Insensitive Type Qualifiers 1 (2009)

Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken

We describe flow-insensitive type qualifiers, a lightweight, practical mechanism for specifying and checking properties not captured by traditional type systems. We present a framework for adding...

Onboard FPGA-Based S AR Processing for Future Spacebome Systems (2009)

Charles Le, Samuel Chan, Frank Cheng, Mark Fischman, Tt Hensley, Robert Johnson, ...

Abstruct- We present a real-time high-performance and fault-tolerant FPGA-based hardware architecture for the processing of synthetic aperture radar (SAR) images in future spaceborne system. In...

CONTENT ANALYSIS OF WEB-BASED COLLABORATIVE DESIGN Empirical Evidence of design process (2008)

Mark Clayton, Robert Johnson, Steve Parshall

specific web sites that provide dedicated web hosted “collaboration and informa-tion spaces ” for the AEC industry to support design, engineering and construction teams. These systems have an...

The Maturing of the Triad Approach: Avoiding Misconceptions (2008)

Deana M. Crumbling, Joel S. Hayworth, Bradley A. Call, William M. Davis, Robert Howe, David S. Miller, ...

Misunderstandings and misconceptions have arisen as the Triad approach has gained wider application. The Triad initiative’s ability to catalyze second-generation cleanup practices will be hampered...

"Where I'm calling from": inside the loop (2008)

Robert Johnson;, Raymond Carver

Le présent article propose d’aborder la nouvelle à travers le récit de J.P., personnage qui raconte au narrateur comment on lui avait sauvé la vie quand, un jour, il était tombé dans un...

2005 Report on University Research Sharing Tacit Design Knowledge in a Distributed Design Environment (2008)

Jeong-han Woo, Mark Clayton, Robert Johnson, Benito Flores, Chris Ellis

The AEC industry has realized the value of capturing, storing and reusing architects ’ design knowledge that is mostly tacit. Tacit design knowl-edge is highly personal and implicit knowledge. As...

Flow-Insensitive Type Qualifiers 1 (2008)

Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken

We describe flow-insensitive type qualifiers, a lightweight, practical mechanism for specifying and checking properties not captured by traditional type systems. We present a framework for adding...

Communicating Agents For Concurrent Temporal Tableaux (2008)

Robert Johnson

. We consider the analysis and deconstruction of a tableau proof method for propositional temporal logic (PTL) in order that it may be reformulated as an agent-based design. Our motivation for its...

Communicating Agents For Concurrent Temporal Tableaux (2007)

Robert Johnson

. We consider the analysis and deconstruction of a tableau proof method for propositional temporal logic (PTL) in order that it may be reformulated as an agent-based design. Our motivation for its...

Graph Structure Management in Parallel Symbolic Systems (2007)

Michael Fisher, Robert Johnson, John Keane

We discuss the efficient exploitation of parallelism in systems where a common data structure is accessed, using message-passing, by a set of parallel processes. In particular, we provide a framework...

Zero Knowledge Systems (2007)

Scott Crosby, Ian Goldberg, Robert Johnson, Dawn Song, David Wagner

Abstract. We describe a weakness in the High Bandwidth Digital Content Protection (HDCP) scheme which may lead to practical attacks. HDCP is a proposed identity-based cryptosystem for use over the...

Zero Knowledge Systems (2007)

Scott Crosby, Ian Goldberg, Robert Johnson, Dawn Song, David Wagner

Abstract. We describe a weakness in the High Bandwidth Digital Content Protection (HDCP) scheme which may lead to practical attacks. HDCP is a proposed identity-based cryptosystem for use over the...

2 (2007)

Robert Johnson, David Molnar, Dawn Song, David Wagner

Abstract. Privacy homomorphisms, encryption schemes that are also homomorphisms relative to some binary operation, have been studied for some time, but one may also consider the analogous problem of...

3 (2007)

Jianxin Xiong, Jeremy Johnson, Robert Johnson, David Padua

We discuss the design and implementation of a compiler that translates formulas representing signal processing transforms into ecient C or Fortran programs. The formulas are represented in a language...

Zero Knowledge Systems (2007)

Scott Crosby, Ian Goldberg, Robert Johnson, Dawn Song, David Wagner

We describe a practical attack on the High Bandwidth Digital Content Protection (HDCP) scheme. HDCP is a proposed identity-based cryptosystem for use over the Digital Visual Interface bus, a consumer...

RICH: Automatically protecting against integer-based vulnerabilities (2007)

David Brumley, Tzi-cker Chiueh, Robert Johnson, Huijia Lin, Dawn Song

We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bugs, a popular avenue...

RICH: Automatically protecting against integer-based vulnerabilities (2007)

David Brumley, Tzi-cker Chiueh, Robert Johnson, Huijia Lin, Dawn Song

We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bugs, a popular avenue...

The cardiovascular system (2005)

Noble, Alan, Johnson, Robert, Thomas, Alan, Bass, Paul

Contents A job description for the cardiovascular system. Development of the heart and congenital heart disease. What makes the heart contract. Conduction defects in the heart. The heart as a pump:...

Executive learning: a typology (2005)

Millett, Bruce, Mattson, Jan, Johnson, Robert

The Enron and Worldcom cases have demonstrated the crucial importance of ethical and effective executive governance. Reviewing the literature on organisational learning and drawing on the model...

Executive learning: a typology (2005)

Millett, Bruce, Mattson, Jan, Johnson, Robert

The Enron and Worldcom cases have demonstrated the crucial importance of ethical and effective executive governance. Reviewing the literature on organisational learning and drawing on the model...

Executive learning: a typology (2005)

Millett, Bruce, Mattson, Jan, Johnson, Robert

The Enron and Worldcom cases have demonstrated the crucial importance of ethical and effective executive governance. Reviewing the literature on organisational learning and drawing on the model...

Homomorphic signature schemes (2002)

Robert Johnson, David Molnar, Dawn Song, David Wagner

Abstract. Privacy homomorphisms, encryption schemes that are also homomorphisms relative to some binary operation, have been studied for some time, but one may also consider the analogous problem of...

Homomorphic signature schemes (2002)

Robert Johnson, David Molnar, Dawn Song, David Wagner

Abstract. Privacy homomorphisms, encryption schemes that are also homomorphisms relative to some binary operation, have been studied for some time, but one may also consider the analogous problem of...

Flow-sensitive type qualifiers (2002)

Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken

We describe flow-insensitive type qualifiers, a lightweight, practical mechanism for specifying and checking properties not captured by traditional type systems. We present a framework for adding...

Experimental evidence for changes in submersed macrophyte species composition caused by the herbivore Acentria ephemerella (Lepidoptera) (2001)

Gross, Elisabeth, Johnson, Robert, Hairston, Nelson

Our field observations on submersed macrophytes in the littoral zone of Cayuga Lake, N.Y., USA indicate that the shift in dominance from Myriophyllum spicatum L. to Elodea canadensis Michx. may be...

Zero Knowledge Systems (2001)

Scott Crosby, Ian Goldberg, Robert Johnson, Dawn Song, David Wagner

We describe a weakness in the High Bandwidth Digital Content Protection (HDCP) scheme which may lead to practical attacks. HDCP is a proposed identity-based cryptosystem for use over the Digital...

A cryptanalysis of the high-bandwidth digital content protection system (2001)

Scott Crosby, Ian Goldberg, Robert Johnson, Dawn Song, David Wagner

Abstract. We describe a weakness in the High Bandwidth Digital Content Protection (HDCP) scheme which may lead to practical attacks. HDCP is a proposed identity-based cryptosystem for use over the...

REDUCING THE PRESENCE OF RAPTORS AT KANSAS CITY INTERNATIONAL AIRPORT (2000)

Johnson, Robert, McMurtry, Dan

Nationwide, between 1991 and 1997, the FAA wildlife strike database reported 939 raptor strikes, which accounted for 12% of all reported wildlife strikes. At Kansas City International Airport (MCI),...

"Where I'm calling from": inside the loop (1999)

Robert Johnson

Le présent article propose d’aborder la nouvelle à travers le récit de J.P., personnage qui raconte au narrateur comment on lui avait sauvé la vie quand, un jour, il était tombé dans un...

NORM Sites* By (1999)

Robert Johnson, Karen P. Smith, John Quinn, Robert Johnson, Karen P. Smith, John Quinn, ...

This report was prepared as an account of work sponsored by an agency of the United States Government. Neither the United States Government nor any agency thereof, nor any of their employees, makes...

A RESEARCH AGENDA FOR THE AEC COMMUNITY IN 2000 AND BEYOND (1999)

Robert Johnson, Mark Clayton, Yunsik Song

Today, information technology “ … is the lifeblood of the organization, shrinking the effects of time and distance and altering the very nature of work.”

A RESEARCH AGENDA FOR THE AEC COMMUNITY IN 2000 AND BEYOND (1999)

Robert Johnson, Mark Clayton, Yunsik Song

Today, information technology “ … is the lifeblood of the organization, shrinking the effects of time and distance and altering the very nature of work.”

MAC protocol performance for ATM cells over a SuperPON. (1999)

Johnson, Robert.

Thesis (Ph. D.)--Manchester Metropolitan University, 1999.

Decline of the invasive submersed macrophyte Myriophyllum spicatum (Haloragaceae) associated with herbivory by larvae of Acentria ephemerella (Lepidoptera) (1998)

Johnson, Robert, Gross, Elisabeth, Hairston, Nelson

Myriophyllum spicatum, an exotic submersed macrophyte causing serious lake management problems throughout much of North America, decreased markedly in biomass in Cayuga Lake, NY, USA, since the...

The Effect of Water Temperature on Underbead Cracking of Underwater Wet Weldments. (1997)

Johnson, Robert.

Specifications for Underwater Welding have not yet addressed the effect of water temperature on weldment microstructure. The environmental effects on Underwater Wet Welding using a shielded metal arc...

A Blackboard Approach To Parallel Temporal Tableaux (1994)

Robert Johnson

Before we can contemplate specifying, verifying and animating reactive systems using temporal logics the computational effectiveness of the reasoning process must be vastly improved. While parallel...

Proteus System Architecture Organization (1991)

Arun K. Somani, Craig Wittenbrink, Robert M. Haralick, Linda G. Shapiro, Jenq-neng Hwang, Chung-ho Chen, ...

: The Proteus architecture is a highly parallel MIMD, multiple instruction multiple data, machine, optimized for large granularity tasks such as machine vision and image processing. The system can...

On the proposed integrated services digital network (1987)

Johnson, Robert

The ultimate aim of this dissertation is neither to increase the state of the art in networking technology nor to predict the future structure of telecommunications networks. It is an attempt to...

RIT Reporter (1951)

Bebee, Milton, Dyment, Henry, Garty, Robert, Samuels, Harvey, Johnson, Robert

The bi-weekly Official Publication of the Rochester Institute of Technology and the Alumni Association of RIT. Publisher and Editor, Milton L. Bebee; Managing Editor, Robert F. Garty; Associate...

Therapeutic effect against human xenograft tumors in nude mice by the third generation microtubule stabilizing epothilones

Chou, Ting-Chao, Zhang, Xiuguo, Zhong, Zi-Yang, Li, Yong, Feng, Li, Eng, Sara, ...

The epothilones represent a promising class of natural product-based antitumor drug candidates. Although these compounds operate through a microtubule stabilization mechanism similar to that of...

The Equity Market Risk Premium and the Valuation of Overseas Investments

Luc Soenen, Robert Johnson

There is little agreement among academics or practitioners about how to measure the size of the equity market risk premium, particularly when it relates to investments in emerging markets. Using...

Asian Economic Integration and Stock Market Comovement

Robert Johnson, Luc Soenen

Using daily returns from 1988 to 1998, we investigate to what degree twelve equity markets in Asia are integrated with Japan's equity market and examine the factors that affect the level of economic...