6201 search results - page 866 / 1241 » Implementation of Axiomatic Language |
148
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The Java programming environment is increasingly being used to build large-scale multi-language applications. Whether these applications combine Java with other languages for legac...
159
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...
153
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Prior research into embodied interface agents has found that users like them and find them engaging. In this paper, we argue that embodiment can serve an even stronger function if...
149
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
In designing Jabberwocky—a speech-based interface to Microsoft PowerPoint—we have tried to go beyond simple commands like “Next slide, please” and make a tool that aids sp...
199
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...