Agentware: Automated Synthesis of Software Agents
2002
Abstract : This report describes our research on developing and applying synthesis technology to agent-based systems in the DARPA/AFRL COABS program. We summarize our results in the following areas: generic synthesis frameworks, synthesis of scheduling agents, synthesis of authentication protocols, formal metalevel specifications, and synthesis of authentication protocols, formal metalevel specifications, and synthesis of glue code.
Keywords:
- Correction
- Cite
- Save
- Machine Reading By IdeaReader
19
References
0
Citations
NaN
KQI