Searching for authors named "Brian Becker" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Calculon: An Autonomous Ground Vehicle for the 13th Annual Intelligent Ground Vehicle Competition ABSTRACT
- … ABSTRACT Tim Roberts, Daniel Barber, Brian C. Becker, Anton Kiriwas, and Fernando Gonzalez Figure 1…
- Add To MetaCart
-
LVT: A Layered Verification Technique for Distributed Computing Systems
- …LVT: A Layered Verification Technique for Distributed Computing Systems Cui Zhang ? , Brian R…
- Add To MetaCart
-
HR as a Source of Shareholder Value: Research and Recommendations
- … not differentiate firms the way they once did. Instead, relatively more influential are Brian E. Becker School…
- Cited by 7 (0 self) – Add To MetaCart
-
A Hierarchical Method for Reasoning about Distributed Programming Languages
- …A Hierarchical Method for Reasoning about Distributed Programming Languages ? Cui Zhang, Brian R…
- Cited by 4 (1 self) – Add To MetaCart
-
Towards Applying the Composition Principle to Verify a Microkernel Operating System
- …. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt and Ron A. Olsson Department…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 5.
