Two key issues in building multi-agent systems concern their scalability and engineering open systems. We offer solutions to these potential problems by introducing a lifecycle fo...
Wamberto Weber Vasconcelos, David Stuart Robertson...
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
In recent years, electric utility industry in the whole world has been facing pressure to be deregulated or restructured in order to increase its efficiency, to reduce operational...
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...