103 views171 votes15 years 11 months ago PADL 2005»
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
166 views166 votes15 years 11 months ago SAGA 2005»
Two general-purpose metaheuristic algorithms for solving multiobjective stochastic combinatorial optimization problems are introduced: SP-ACO (based on the Ant Colony Optimization ...
97 views137 votes15 years 11 months ago SGAI 2005»
The concept of the Knowledge Bazaar as a paradigm for the development of Expert Systems, whereby knowledge bases are created dynamically using knowledge supplied by self appointed...
Abstract. Individuals di er in the resources that they are willing to expend on information gathering and on the importance of di erent kinds of information. We have developed MADS...
133 views136 votes15 years 11 months ago IUI 2004»
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
214 views145 votes15 years 11 months ago SIGIR 2004»
In this poster we present an overview of the techniques we used to develop and evaluate a text categorisation system for the PRINCIP project which sets out to automatically classi...
100 views131 votes15 years 11 months ago ARGMAS 2004»
This paper investigates the properties of argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments, and examines how ...
Abstract. Network security simulator is required for the study on the cyber intrusion and defense as cyber terrors have been increasingly popular. Until now, network security simul...
83 views149 votes15 years 11 months ago CAISE 2004»
In the paper there is offered a framework to manage the Business Processes (BP) changes. The framework shows BP changes in the following trends: the number of BP users, communicati...
Abstract In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with...