The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Farhad Arbab: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mehdi Dastani, Farhad Arbab, Frank S. de Boer
    Coordination and composition in multi-agent systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:439-446 [Conf]
  2. Leendert W. N. van der Torre, Marc M. Lankhorst, Hugo W. L. ter Doest, Jan T. P. Campschroer, Farhad Arbab
    Landscape Maps for Enterprise Architectures. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2006, pp:351-366 [Conf]
  3. Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue
    MoCha: A Middleware Based on Mobile Channels. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:667-673 [Conf]
  4. Theophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab
    Coordinating Web Services Using Channel Based Communication. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:486-491 [Conf]
  5. George A. Papadopoulos, Farhad Arbab
    Coordination of Systems with Real-Time Properties in Manifold. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:50-55 [Conf]
  6. Farhad Arbab, Ivan Herman, P. Spilling
    Manifold: Concepts and Implementation. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1992, pp:793-794 [Conf]
  7. Farhad Arbab
    The IWIM Model for Coordination of Concurrent Activities. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1996, pp:34-56 [Conf]
  8. Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    A Logical Interface Description Language for Components. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:249-266 [Conf]
  9. Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani
    Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:236-251 [Conf]
  10. Farhad Arbab, Eric Monfroy
    Distributed Splitting of Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:115-132 [Conf]
  11. Farhad Arbab, Farhad Mavaddat
    Coordination through Channel Composition. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:22-39 [Conf]
  12. Pascal Bouvry, Farhad Arbab
    VISIFOLD: A Visual Environment for a Coordination Language. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1996, pp:403-406 [Conf]
  13. Peter Zoeteweij, Farhad Arbab
    A Component-Based Parallel Constraint Solver. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:307-322 [Conf]
  14. George A. Papadopoulos, Farhad Arbab
    Control-Based Coordination of Human and Other Activities in Cooperative Information Systems. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:422-425 [Conf]
  15. Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab
    Compositional Semantics of an Actor-Based Language Using Constraint Automata. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2006, pp:281-297 [Conf]
  16. Farhad Arbab
    Coordination and its Relevance. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1998, pp:529-535 [Conf]
  17. George A. Papadopoulos, Farhad Arbab
    Modeling Electronic Commerce Activities Using Control-Driven Coordination. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1998, pp:583-588 [Conf]
  18. Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab
    Deploying Loosely Coupled, Component-based Applications into Distributed Environments. [Citation Graph (0, 0)][DBLP]
    ECBS, 2006, pp:93-102 [Conf]
  19. Henk Jonkers, René van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Hans Bosma, Hugo W. L. ter Doest, Luuk Groenewegen, Juan Guillen Scholten, Stijn Hoppenbrouwers, Maria-Eugenia Iacob, Wil Janssen, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre, Gert Veldhuijzen van Zanten
    Towards a Language for Coherent Enterprise Architecture Descriptions. [Citation Graph (0, 0)][DBLP]
    EDOC, 2003, pp:28-39 [Conf]
  20. Franciszek Seredynski, Pascal Bouvry, Farhad Arbab
    Parallel Evolutionary Computation: Multi Agents Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    Euro-PDS, 1997, pp:293-298 [Conf]
  21. Farhad Arbab, C. L. Blom, F. J. Burger, C. T. H. Everaars
    Reusable Coordinator Modules for Massively Concurrent Applications. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. I, 1996, pp:664-677 [Conf]
  22. Juan Guillen Scholten, Farhad Arbab
    Coordinated Anonymous Peer-to-Peer Connections with MoCha. [Citation Graph (0, 0)][DBLP]
    FIDJI, 2004, pp:68-77 [Conf]
  23. Farhad Arbab
    Abstract Behavior Types: A Foundation Model for Components and Their Composition. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:33-70 [Conf]
  24. Farhad Arbab
    The Influence of Coordination on Program Structure. [Citation Graph (0, 0)][DBLP]
    HICSS (1), 1997, pp:300-309 [Conf]
  25. George A. Papadopoulos, Farhad Arbab
    Dynamic Reconfiguration in Coordination Languages. [Citation Graph (0, 0)][DBLP]
    HPCN Europe, 2000, pp:197-206 [Conf]
  26. Farhad Arbab, Ivan Herman, P. Spilling
    Interaction Management of a Window Manager in Manifold. [Citation Graph (0, 0)][DBLP]
    ICCI, 1992, pp:197-202 [Conf]
  27. C. T. H. Everaars, Farhad Arbab, F. J. Burger
    Restructuring sequential Fortran code into a parallel/distributed application. [Citation Graph (0, 0)][DBLP]
    ICSM, 1996, pp:13-22 [Conf]
  28. C. T. H. Everaars, Farhad Arbab, Barry Koren
    Using Coordination to Restructure Sequential Source Code into a Concurrent Program. [Citation Graph (0, 0)][DBLP]
    ICSM, 2001, pp:342-0 [Conf]
  29. C. T. H. Everaars, Barry Koren, Farhad Arbab
    Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP Workshops, 1999, pp:1046-1054 [Conf]
  30. C. T. H. Everaars, Farhad Arbab
    Coordination of Distributed/Parallel Multi-grid Domain Decomposition. [Citation Graph (0, 0)][DBLP]
    IRREGULAR, 1996, pp:131-144 [Conf]
  31. Farhad Arbab, Joost N. Kok
    Interaction and Coordination of Tools for Structured Data. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:1-8 [Conf]
  32. Dave Clarke, David Costa, Farhad Arbab
    Modelling Coordination in Biological Systems. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:9-25 [Conf]
  33. Farhad Arbab
    Panta Rei (Everything Flows): A Calculus of Channels. [Citation Graph (0, 0)][DBLP]
    JISBD, 2001, pp:5- [Conf]
  34. Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab
    Modeling Behavior in Compositions of Software Architectural Primitives. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:371-374 [Conf]
  35. George A. Papadopoulos, Farhad Arbab
    Control-Driven Coordination Programming in Shared Dataspace. [Citation Graph (0, 0)][DBLP]
    PaCT, 1997, pp:247-261 [Conf]
  36. Franciszek Seredynski, Pascal Bouvry, Farhad Arbab
    Parallel and Distributed Evolutionary Computation with MANIFOLD. [Citation Graph (0, 0)][DBLP]
    PaCT, 1997, pp:94-108 [Conf]
  37. Farhad Arbab
    Coordination Programming for Parallel and Distributed Applications. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:1-10 [Conf]
  38. Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer
    A Coordination Lanuage for Mobile Components. [Citation Graph (0, 0)][DBLP]
    SAC (1), 2000, pp:166-173 [Conf]
  39. Farhad Arbab, Eric Monfroy
    Using coordination for cooperative constraint solving. [Citation Graph (0, 0)][DBLP]
    SAC, 1998, pp:139-148 [Conf]
  40. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    MoCha-pi, an exogenous coordination calculus based on mobile channels. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:436-442 [Conf]
  41. Theophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab
    Web Services: separation of concerns: computation coordination communication. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:492-497 [Conf]
  42. George A. Papadopoulos, Farhad Arbab
    Modelling activities in information systems using the coordination language MANIFOLD. [Citation Graph (0, 0)][DBLP]
    SAC, 1998, pp:185-193 [Conf]
  43. Sun Meng, Farhad Arbab
    Web services choreography and orchestration in Reo and constraint automata. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:346-353 [Conf]
  44. C. T. H. Everaars, Farhad Arbab, Barry Koren
    Modernizing Existing Software: A Case Study. [Citation Graph (0, 0)][DBLP]
    SC, 2004, pp:3- [Conf]
  45. Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten
    Models and Temporal Logics for Timed Component Connectors. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:198-207 [Conf]
  46. Farhad Arbab, Jan J. M. M. Rutten
    A Coinductive Calculus of Component Connectors. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:34-55 [Conf]
  47. Nikolay K. Diakov, Farhad Arbab
    Compositional Construction of Web Services Using Reo. [Citation Graph (0, 0)][DBLP]
    WSMAI, 2004, pp:49-58 [Conf]
  48. George A. Papadopoulos, Farhad Arbab
    Coordination Models and Languages. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 1998, v:46, n:, pp:330-401 [Journal]
  49. Tetsuo Tomiyama, Farhad Arbab
    Guest editors' introduction : Features and geometric reasoning. [Citation Graph (0, 0)][DBLP]
    Computers & Graphics, 1990, v:14, n:2, pp:147-148 [Journal]
  50. Farhad Arbab, Ivan Herman, Graham J. Reynolds
    An Object Model for Multimedia Programming. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 1993, v:12, n:3, pp:101-113 [Journal]
  51. Dirk Soede, Farhad Arbab, Ivan Herman, Paul J. W. ten Hagen
    The GKS Input Model in MANIFOLD. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 1991, v:10, n:3, pp:209-224 [Journal]
  52. C. T. H. Everaars, Farhad Arbab, Barry Koren
    Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 2000, v:12, n:2-3, pp:157-174 [Journal]
  53. Farhad Arbab
    Coordination of Mobile Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  54. Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani
    Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:25-46 [Journal]
  55. Farhad Arbab, Marjan Sirjani
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:1-2 [Journal]
  56. Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert
    IWIM Semantics via Fibred Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
  57. Dave Clarke, David Costa, Farhad Arbab
    Connector Colouring I: Synchronisation and Context Dependency. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:1, pp:101-119 [Journal]
  58. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    A Channel-based Coordination Model for Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  59. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:1, pp:121-138 [Journal]
  60. Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab
    Formal Semantics and Analysis of Component Connectors in Reo. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:1, pp:83-99 [Journal]
  61. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    Mobile Channels, Implementation Within and Outside Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
  62. Peter Wegner, Farhad Arbab, Dina Q. Goldin, Peter McBurney, Michael Luck, Dave Robertson
    The Role of Agent Interaction in Models of Computing: Panelist Reviews. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:5, pp:181-198 [Journal]
  63. Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab
    Towards an Automated Deployment Planner for Composition of Web Services as Software Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:239-253 [Journal]
  64. Farhad Arbab
    Coordination for Component Composition. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:15-40 [Journal]
  65. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    A Component Coordination Model Based on Mobile Channels. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:73, n:4, pp:561-582 [Journal]
  66. Pascal Bouvry, Farhad Arbab, Franciszek Seredynski
    Distributed Evolutionary Optimization, in Manifold: Rosenbrock's Function Case Study. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2000, v:122, n:2-4, pp:141-159 [Journal]
  67. Henk Jonkers, Marc M. Lankhorst, Hugo W. L. ter Doest, Farhad Arbab, Hans Bosma, Roel Wieringa
    Enterprise architecture: Management tool and blueprint for the organisation. [Citation Graph (0, 0)][DBLP]
    Information Systems Frontiers, 2006, v:8, n:2, pp:63-66 [Journal]
  68. Farhad Arbab, Joost N. Kok
    Compositional Construction and Reasoning Techniques for Software. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:10, pp:1577-1579 [Journal]
  69. Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert
    A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:1, pp:2-33 [Journal]
  70. Farhad Arbab
    Reo: a channel-based coordination model for component composition. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:3, pp:329-366 [Journal]
  71. Farhad Arbab, Paolo Ciancarini, Chris Hankin
    Coordination Languages for Parallel Programming. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1998, v:24, n:7, pp:989-1004 [Journal]
  72. Farhad Arbab
    Abstract Behavior Types: a foundation model for components and their composition. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:3-52 [Journal]
  73. Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten
    Modeling component connectors in Reo by constraint automata. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:61, n:2, pp:75-113 [Journal]
  74. Farhad Arbab, C. L. Blom, F. J. Burger, C. T. H. Everaars
    Reusable Coordinator Modules for Massively Concurrent Applications. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1998, v:28, n:7, pp:703-735 [Journal]
  75. Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro
    A transition system semantics for the control-driven coordination language MANIFOLD. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:3-47 [Journal]
  76. Farhad Arbab, Khalil Drira
    Introduction. [Citation Graph (0, 0)][DBLP]
    The Journal of Supercomputing, 2003, v:24, n:2, pp:119-120 [Journal]
  77. Allan Hansen, Farhad Arbab
    An Algorithm for Generating NC Tool Paths for Arbitrarily Shaped Pockets with Islands. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Graph., 1992, v:11, n:2, pp:152-182 [Journal]
  78. Mohammad Izadi, Ali Movaghar, Farhad Arbab
    Model Checking of Component Connectors. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:673-675 [Conf]
  79. Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon
    Component Connectors with QoS Guarantees. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2007, pp:286-304 [Conf]
  80. Sun Meng, Farhad Arbab
    On Resource-Sensitive Timed Component Connectors. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:301-316 [Conf]
  81. Christian Koehler, Alexander Lazovik, Farhad Arbab
    ReoService: Coordination Modeling Tool. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2007, pp:625-626 [Conf]
  82. Alexander Lazovik, Farhad Arbab
    Using Reo for Service Coordination. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2007, pp:398-403 [Conf]
  83. Farhad Arbab, Christel Baier
    Syanco 2007: international workshop on synthesis and analysis of component connectors. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:607-608 [Conf]
  84. George A. Papadopoulos, Farhad Arbab
    Configuration and dynamic reconfiguration of components using the coordination paradigm. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2001, v:17, n:8, pp:1023-1038 [Journal]
  85. Dave Clarke, David Costa, Farhad Arbab
    Connector colouring I: Synchronisation and context dependency. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:66, n:3, pp:205-225 [Journal]

  86. QoS-driven service selection and composition. [Citation Graph (, )][DBLP]


  87. Synthesis of Connectors from Scenario-Based Interaction Specifications. [Citation Graph (, )][DBLP]


  88. From Coordination to Stochastic Models of QoS. [Citation Graph (, )][DBLP]


  89. Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. [Citation Graph (, )][DBLP]


  90. Building Mashups for the Enterprise with SABRE. [Citation Graph (, )][DBLP]


  91. Towards Using Reo for Compliance-Aware Business Process Modeling. [Citation Graph (, )][DBLP]


  92. Modelling Coordination in Biological Systems. [Citation Graph (, )][DBLP]


  93. Reo Connectors as Coordination Artifacts in 2APL Systems. [Citation Graph (, )][DBLP]


  94. Applying Reo to service coordination in long-running business transactions. [Citation Graph (, )][DBLP]


  95. SYANCO 2007: international workshop on synthesis and analysis of component connectors. [Citation Graph (, )][DBLP]


  96. Reo2MC: a tool chain for performance analysis of coordination models. [Citation Graph (, )][DBLP]


  97. Composition by Anonymous Third Parties. [Citation Graph (, )][DBLP]


  98. Reconfiguring Distributed Reo Connectors. [Citation Graph (, )][DBLP]


  99. Tiles for Reo. [Citation Graph (, )][DBLP]


  100. A Distributed Platform for Mechanism Design. [Citation Graph (, )][DBLP]


  101. Fault-Based Test Case Generation for Component Connectors. [Citation Graph (, )][DBLP]


  102. A Behavioral Model for Composition of Software Components. [Citation Graph (, )][DBLP]


  103. An overview of manifold and its implementation. [Citation Graph (, )][DBLP]


  104. A System for Distributed Mechanisms: Design, Implementation and Applications [Citation Graph (, )][DBLP]


  105. A Distributed Platform for Mechanism Design [Citation Graph (, )][DBLP]


  106. A Compositional Semantics for Stochastic Reo Connectors [Citation Graph (, )][DBLP]


  107. Preface. [Citation Graph (, )][DBLP]


  108. Connector Rewriting with High-Level Replacement Systems. [Citation Graph (, )][DBLP]


  109. Automated Analysis of Reo Circuits using Symbolic Execution. [Citation Graph (, )][DBLP]


  110. Connectors as Designs. [Citation Graph (, )][DBLP]


  111. Synthesis of Reo Circuits from Scenario-based Specifications. [Citation Graph (, )][DBLP]


  112. Deconstructing Reo. [Citation Graph (, )][DBLP]


Search in 0.021secs, Finished in 0.470secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002