|
3
|
Application of Model-Based Technology Systems for Autonomous Systems
– Daniel Cooke, Michael Gelfond, Howard Hu, J Nelson
- 2005
|
|
18
|
An Introduction to SEQUENCEL: A Language to Experiment with Nonscalar Constructs. Software Practice and Experience
– D Cooke
- 1996
|
|
1
|
Model-Based Reasoning for Complex Flight Systems
– Marcello Balduccini, Michael Gelfond
- 2005
|
|
1
|
Redwood: Dependability Testbed Instrumentation Platform
– V Kotov, V Mehrotra
- 2004
|
|
1
|
A Collaborative Testbed Engineering Platform
– V Kotov, V Mehrotra
- 2005
|
|
3
|
Automatic Parallel Control Structures
– Daniel E Cooke, Per Andersen
- 2000
|
|
1
|
Distribute: A Basis for the Decomposition and Parallel Evaluation of Nonscalars
– Transpose Normalize
|
|
1
|
The Linear-Time Hierarchy Theorems for Abstract State Machines and RAMs
– Andreas Blass, Yuri Gurevich
- 1997
|
|
7
|
A Product Line Architecture for a Network Product
– Dewayne E. Perry
- 2000
|
|
7
|
CR-Prolog2: CR-Prolog with Ordered Disjunction
– Marcello Balduccini, Veena Mellarkod
- 2003
|
|
11
|
Programming with non-heap memory in the real-time specification for Java
– Greg Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Daniel Dvorak, Brian Giovannoni, Mark Indictor, Kenny Meyer, Alex Murray, Kirk Reinholtz
- 2003
|
|
11
|
USA-Smart: Improving the Quality of Plans in Answer Set Planning
– Marcello Balduccini
- 2004
|
|
23
|
Diagnostic Reasoning with A-Prolog. Theory and Practice of Logic Programming
– M Balduccini, M Gelfond
- 2003
|
|
51
|
Logic Programs with Consistency-Restoring Rules
– Marcello Balduccini, Michael Gelfond
- 2003
|
|
112
|
The Geography of Coordination: Dealing with Distance
– Rebecca E. Grinter, James D. Herbsleb
- 1999
|
|
6
|
On the Development of a Method to Synthesize Programs from Requirements Specifications
– D E Cooke, A Gates
- 1991
|
|
8
|
SequenceL Provides a Different way to View Programming
– D Cooke
- 1998
|
|
3
|
Data Structured Programming: Programming without Arrays and Pointers
– H Mills, R Linger
- 1986
|
|
1
|
NASA's Exploration Agenda and Capability Engineering
– Cordell Green
|
