Searching for authors named "Tim Miller" – sorted by Relevance.
-
Elements of a Spoken Language Programming Interface for Robots ABSTRACT
- Elements of a Spoken Language Programming Interface for Robots ABSTRACT Tim Miller Department
- Add To MetaCart
-
Annotation and Matching of First-Class Agent Interaction Protocols ABSTRACT
- Annotation and Matching of First-Class Agent Interaction Protocols ABSTRACT Tim Miller ∗ Dept
- Cited by 1 (0 self) – Add To MetaCart
-
Model-Based Specification Animation Using
- TECHNICAL REPORT No. 02-15 Model-Based Specification Animation Using Testgraphs Tim Miller Paul Strooper
- Add To MetaCart
-
A Case Study in Specification and Implementation Testing
- A Case Study in Specification and Implementation Testing Tim Miller\Lambda Department
- Add To MetaCart
-
Amongst first-class protocols
- Amongst First-Class Protocols Tim Miller 1 and Jarred McGinnis 2 1 Department of Computer Science
- Cited by 4 (3 self) – Add To MetaCart
-
First-class protocols for agent-based coordination of scientific instruments
- First-Class Protocols for Agent-Based Coordination of Scientific Instruments Tim Miller, Peter Mc
- Cited by 1 (1 self) – Add To MetaCart
-
Combining the Animation and Testing of Abstract Data Types
- TECHNICAL REPORT No. 01-17 Combining the Animation and Testing of Abstract Data Types Tim Miller Paul
- Cited by 1 (1 self) – Add To MetaCart
-
P.: Multi-agent system specification using TCOZ
- Multi-Agent System Specification using TCOZ Tim Miller and Peter McBurney Department of Computer
- Cited by 1 (0 self) – Add To MetaCart
-
Executable logic for reasoning and annotation of first-class agent interaction protocols
- Executable Logic for Reasoning and Annotation of First-Class Agent Interaction Protocols Tim
- Cited by 2 (1 self) – Add To MetaCart
-
Supporting the software testing process through specification animation
- Supporting the Software Testing Process through Specification Animation Tim Miller and Paul
- Cited by 1 (1 self) – Add To MetaCart

