Abstract. The modern society depends on the provision and distribution of information. We observe the development of world-wide information markets. Traders play an important role ...
Michael Christoffel, Thorwald Franke, Stefan Kotka...
Isaac is a programing language for geometric reasoning intended for controlling mobile robots, currently under development at NMSU. Due to the application area, handling input and...
Joseph J. Pfeiffer Jr., Rick L. Vinyard Jr., Berna...
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
Nigel Thomas, Malcolm Munro, Peter J. B. King, Rob...
This paper 1 attempts to characterise a unifying overview of the practice of software engineers, AI designers, developers of evolutionary forms of computation, designers of adapti...
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi D...