Sciweavers

913 search results - page 23 / 183
» Formal Agent Development: Framework to System
Sort
View
AAAI
1990
15 years 3 months ago
Conditional Logics of Normality as Modal Systems
Recently, conditional logics have been developed for application to problems in default reasoning. We present a uniform framework for the development and investigation of conditio...
Craig Boutilier
ATAL
2009
Springer
15 years 8 months ago
The DSML4MAS development environment
This paper presents the Dsml4mas Development Environment (DDE) which is a model-driven framework for the development of multiagent systems based on the Domain Specific Modeling L...
Stefan Warwas, Christian Hahn
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
15 years 8 months ago
A Multi-Vehicle Framework for the Development of Robotic Games: The Marco Polo Case
— This paper presents a multi-vehicle platform and framework for robotics education and research. The system is designed as an educational tool for introducing children to engine...
Brent Perteet, James McClintock, Rafael Fierro
ICFEM
1997
Springer
15 years 6 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
WORDS
2005
IEEE
15 years 7 months ago
Agent-Oriented Modelling and Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
Hong Zhu, Lijun Shan