Searching for authors named "Tim Miller" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
