Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Technical Reports - DIT-02-010
Theories and uses of context in knowledge representation and reasoning
2001, Note: published as invited paper in Journal of Pragmatics - Special Issue on Context, Elsevier Science.

Abstract: This paper discusses the uses of context in knowledge representation and reasoning (KRR). We prop... See more
Technical Reports - DIT-02-008
The Tropos Software Development Methodology: Processes, Models and Diagrams
2001, Note: In proceedings of AOSE 2002
Keywords: Agent Oriented Software Engineering

Abstract: Tropos is a novel agent-oriented software development methodology founded on two key features: (i... See more
Technical Reports - DIT-02-051
On the Recognition of P4-Indifferent Graphs
2001, Note: Published in: "Discrete Mathematics" 239 (2001) 161--169
Keywords: P_4-indifference, linear time, recognition, modular decomposition

Abstract: A simple graph is P_4-indifferent if it admits a total order < on its nodes such that every chord... See more
Technical Reports - DIT-02-007
Knowledge Level Software Engineering
2001, Note: In Proceedings of ATAL 2001, Seattle, 2001. Springer Verlag.

Abstract: We contend that, at least in the first stages of definition of the early and late requirements, t... See more
Technical Reports - DIT-02-009
The Local Relational Model: Model and Proof Theory
2001

Abstract: In this paper we identify desirable data management mechanisms for peer-to-peer (P2P) computing. ... See more
Technical Reports - DIT-02-039
Some Simple Distributed Algorithms for Sparse Networks
2001, Note: Published in Distributed Computing, vol. 14 (2001) 97-100
Keywords: distributed computing, sparse networks, maximal independent set, maximal matching, vertex colouring, edge colouring

Abstract: We give simple, deterministic, distributed algorithms for computing maximal matchings, maximal in... See more
Technical Reports - DIT-02-027
A New Search Algorithm for Feature Selection in Hyperspectral Remote Sensing Images
2001, Note: Also appeared on IEEE Transactions on Geoscience and Remote Sensing, Vol. 39, No. 7, 2001
Keywords: feature selection, hyperspectral data, search algorithms, remote sensing

Abstract: A new suboptimal search strategy suitable for feature selection in very high-dimensional remote-s... See more
Technical Reports - DIT-02-020
Performance Evaluation of Mobile Processes via Abstract Machines
2001, Note: Appeared in IEEE Transactions on Software Engineering, 27, 10 (2001), 867-889.
Keywords: Calculi for Mobility, Enhanced Operational Semantics, Formal Methodology, Performance Evaluation, Stochastic Models.

Abstract: We use a structural operational semantics which drives us in inferring quantitative measures on s... See more
Technical Reports - DIT-02-019
Primitives for Authentication in Process Algebras
2001, Note: Appeared in Theoretical Computer Science 283/2
Keywords: Security, Authentication, Secrecy, Operational Semantics, Proved Transition Systems, Distrib­uted Process Algebras

Abstract: We extend the P­­-calculus and the spi-­calculus with two primitives that guarantee authentica... See more
Technical Reports - DIT-02-018
Application of a stochastic name-­passing calculus to representation and simulation of molecular processes
2001, Note: Appeared in Information Processing Letters 80 (2001) 25-31
Keywords: stochastic P-calculus, bioinformatics, stochastic simulation

Abstract: We describe a novel application of a stochastic name passing calculus for the study of biomolecul... See more