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...
78 views130 votes15 years 11 months ago CMSB 2004»
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
: In our research we explore the benefits resulting from the application of Semantic Web technologies in the recruitment domain. We use currently available standards and classifi...
92 views177 votes15 years 11 months ago IFIP 2004»
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
116 views165 votes15 years 11 months ago IFM 2004»
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...