J.UCS, Volume 9

Volume 9, Number 1, 2003

• 
  Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert:
  A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model. 2-33
• 
  Christian Glaßer, Gerd Wechsung:
  Relativizing Function Classes. 34-50
• 
  Maria Virvou, Katerina Kabassi:
  Experimental Studies within the Software Engineering Process for Intelligent Assistance in a GUI. 51-

Volume 9, Number 2, 2003

Special Issue on Tools for System Design and Verification

• 
  Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn:
  Special Issue on Tools for System Design and Verification. 86-87
• 
  Ernst-Rüdiger Olderog, Henning Dierks:
  Moby/RT: A Tool for Specification and Verification of Real-Time Systems. 88-105
• 
  Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger:
  Checking Object System Designs Incrementally. 106-119
• 
  Andreas Krebs, Jürgen Ruf:
  Optimized Temporal Logic Compilation. 120-137
• 
  Robi Malik, Reinhard Mühlfeld:
  A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol. 138-151
• 
  Achim D. Brucker, Frank Rittinger, Burkhart Wolff:
  HOL-Z 2.0: A Proof Environment for Z-Specifications. 152-172
• 
  Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs:
  Tool Support for the Interactive Derivation of Formally Correct Functional Programs. 173-

Volume 9, Number 3, 2003

Special Issue on Compiler Optimization meets Compiler Verification (COCV 2002)

• 
  Sabine Glesner:
  Using Program Checking to Ensure the Correctness of Compiler Implementations. 191-222
• 
  Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg:
  VOC: A Methodology for the Translation Validation of OptimizingCompilers. 223-247
• 
  K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens:
  An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs. 248-269
• 
  Thi Viet Nga Nguyen, François Irigoin:
  Alias Verification for Fortran Code Optimization. 270-

Volume 9, Number 4, 2003

Special Issue on Dynamic Symbolic Languages

• 
  Hermann A. Maurer, Ron Oliver:
  The Future of PCs and Implications on Society. 300-308
• 
  Hermann A. Maurer, Robert Stubenrauch, Daniela G. Camhy:
  Foundations of MIRACLE: Multimedia Information Repository, A Computer-supported Language Effort. 309-348
• 
  Robert Stubenrauch, Daniela G. Camhy, Jennifer Lennon, Hermann A. Maurer:
  Applications of MIRACLE: Working With Dynamic Visual Information. 349-368
• 
  Robert Stubenrauch, Daniela G. Camhy:
  A Cross-Disciplinary Bibliography on Visual Languages for Information Sharing and Archiving. 369-

Volume 9, Number 5, 2003

• 
  Maurice Margenstern, Guentcho Skordev:
  Fibonacci Type Coding for the Regular Rectangular Tilings of the Hyperbolic Plane. 398-422
• 
  Jameson Mbale, Domenico Ursino, Xiaofei Xu:
  Cyclical Structure Converter (CSC): a System for Handling the Interaction of Structured and Semi-structured Data Sources. 423-

Volume 9, Number 6, 2003

Special Issue: I-Know 03 - Hot Spots in Knowledge Management

• 
  Klaus Tochtermann:
  Special Issue: I-Know 03 - Hot Spots in Knowledge Management. 447-450
• 
  Peter Schütt:
  The post-Nonaka Knowledge Management. 451-462
• 
  Klaus North, Tina Hornung:
  The Benefits of Knowledge Management - Results of the German Award "Knowledge Manager 2002". 463-471
• 
  Sheng-Tun Li, Huang-Chih Hsieh:
  Managing Operation Knowledge for the Metal Industry. 472-480
• 
  Leena Ilmola, Anna Kotsalo-Mustonen:
  Filters in the Strategy Formulation Process. 481-490
• 
  Matteo Bonifacio, Alessandra Molani:
  The Richness of Diversity in Knowledge Creation: An Interdisciplinary Overview. 491-500
• 
  José María Viedma:
  SCBS Social Capital Benchmarking System - Profiting from Social Capital when Building Network Organisations. 501-509
• 
  Yannis Avrithis, Giorgos B. Stamou, Manolis Wallace, Ferran Marqués, Philippe Salembier, Xavier Giró, Werner Haas, Heribert Vallant, Michael Zufferey:
  Unified Access to Heterogeneous Audiovisual Archives. 510-519
• 
  Raphael Volz, Rudi Studer, Alexander Maedche, Lauser B.:
  Pruning-based Identification of Domain Ontologies. 520-529
• 
  Christian Biemann, Uwe Quasthoff, Karsten Böhm, Christian Wolff:
  Automatic Discovery and Aggregation of Compound Names for the Use in Knowledge Representations. 530-550
• 
  Feng Tao, Liming Chen, Nigel Shadbolt, Graeme E. Pound, Simon J. Cox:
  Towards the Semantic Grid: Putting Knowledge to Work in Design Optimisation. 551-562
• 
  D. T. Lee, Gen-Cher Lee, Yao-Wen Huang:
  Knowledge Management for Computational Problem Solving. 563-570
• 
  Lilia Efimova, Janine Swaak:
  Converging Knowledge Management, Training and e-learning: Scenarios to Make it Work. 571-

Volume 9, Number 7, 2003

Special Issue on Professional Knowledge Management - Experiences and Visions

• 
  Ulrich Reimer, York Sure:
  Special Issue on Professional Knowledge Management - Experiences and Visions. 579-580
• 
  Tomas Bohinc, Strausie Markham:
  The Strong Effects of the Soft Factors of Knowledge Management. 581-591
• 
  Marc Kuhn:
  A Note on Culture-sensitive Knowledge Management in OE-sales Area of Robert Bosch GmbH. 592-595
• 
  Elisabeth Kamentz, Christa Womser-Hacker:
  Defining Culture-Bound User Characteristics as a Starting-Point for the Design of Adaptive Learning Systems. 596-607
• 
  Ralph Bergmann, Martin Schaaf:
  Structural Case-Based Reasoning and Ontology-Based Knowledge Management: A Perfect Match? 608-626
• 
  Markus Grabert, Derek G. Bridge:
  Case-Based Reuse of Software Examplets. 627-641
• 
  Márcio Greyck Batista Dias, Nicolas Anquetil, Káthia Marçal de Oliveira:
  Organizing the Knowledge Used in Software Maintenance. 641-658
• 
  Raimund L. Feldmann, Ralf Carbon:
  Experience Base Schema Building Blocks of the PLEASERS Library. 659-669
• 
  Luciana de Landa Farias, Guilherme Horta Travassos, Ana Regina Rocha:
  Managing Organizational Risk Knowledge. 670-681
• 
  Eddie Mönch, Mike Ullrich, Hans-Peter Schnurr, Jürgen Angele:
  SemanticMiner - Ontology-Based Knowledge Retrieval. 682-696
• 
  Nenad Stojanovic:
  On the Role of the Librarian Agent in Ontology-based Knowledge Management Systems. 697-718
• 
  Josef Hofer-Alfeis:
  Effective Integration of Knowledge Management into the Business Starts with a Top-down Knowledge Strategy. 719-

Volume 9, Number 8, 2003

Special Issue: 7th Brasilian Symposium on Programming Languages

• 
  Marcus Amorim Leal, Noemi de La Rocque Rodriguez, Roberto Ierusalimschy:
  LuaTS - A Reactive Event-Driven Tuple Space. 730-744
• 
  Álvaro Reis Figueira, Hervé Paulino, Luís M. B. Lopes, Fernando M. A. Silva:
  Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources. 745-760
• 
  Wendell Figueiredo Taveira, Marco Túlio de Oliveira Valente, Mariza Andrade da Silva Bigonha, Roberto da Silva Bigonha:
  Asynchronous Remote Method Invocation in Java. 761-775
• 
  Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
  Haskell#: Parallel Programming Made Simple and Efficient. 776-794
• 
  Nélio Muniz Mendes Alves, Sérgio de Mello Schneider:
  Implementation of an Embedded Hardware Description Language Using Haskell. 795-812
• 
  Rafael Dueire Lins:
  Lazy Cyclic Reference Counting. 813-828
• 
  Jens Knoop, Oliver Rüthing:
  Constant Propagation on Predicated Code. 829-872
• 
  Cristiano D. Vasconcellos, Lucília Figueiredo, Carlos Camarão:
  Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. 873-890
• 
  Luís Soares Barbosa:
  Towards a Calculus of State-based Software Components. 891-909
• 
  Cláudio Carvilhe, Martin A. Musicante:
  Object-Oriented Action Semantics Specifications. 910-934
• 
  Ayla Dantas, Paulo Borba:
  Developing Adaptive J2ME Applications Using AspectJ. 935-955
• 
  Franklin Ramalho, Jacques Robin, Roberto Souto Maior de Barros:
  XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models. 956-969
• 
  Eduardo Kessler Piveta, Luiz Carlos Zancanella:
  Aspect Weaving Strategies. 970-

Volume 9, Number 9, 2003

• 
  Hans W. Guesgen, Frank D. Anger, Gérard Ligozat, Rita V. Rodríguez:
  Spatial and Temporal Reasoning. 984-985
• 
  Michael Pool:
  An Applied Calculus for Spatial Accessibility Reasoning. 986-1007
• 
  Vincent Dugat, Pierre Gambarotto, Yannick Larvor:
  Abstract Representation of Object and Structural Symmetries Detection. 1008-1029
• 
  Kazuko Takahashi:
  Reasoning about Propagation of Properties over Regions. 1030-1045
• 
  Junko Araki:
  Action Vectors: Modeling Spatial Relations between Objects and Routes. 1046-1072
• 
  Florence Le Ber, Amedeo Napoli, Jean-Luc Metzger, Sylvie Lardon:
  Modeling and Comparing Farm Maps using Graphs and Case-based Reasoning. 1073-1095
• 
  Lledó Museros Cabedo, M. Teresa Escrig:
  Modeling Motion by the Integration of Topology and Time. 1096-1122
• 
  Claudio Bettini, Simone Ruffini:
  Direct Granularity Conversions among Temporal Constraints. 1123-1136
• 
  Valentin Goranko, Angelo Montanari, Guido Sciavicco:
  Propositional Interval Neighborhood Temporal Logics. 1137-1167
• 
  Didier Dubois, Allel HadjAli, Henri Prade:
  Fuzziness and Uncertainty in Temporal Reasoning. 1168-

Volume 9, Number 10, 2003

• 
  Cristian Calude, Elena Calude, Michael J. Dinneen:
  What is the Value of Taxicab(6)? 1196-1203
• 
  Iiro S. Honkala, Antoine Lobstein:
  On Identification in ZZ² Using Translates of Given Patterns. 1204-1219
• 
  Ousmane Koné:
  An Inoteroperability Testing Approach to Wireless Applications Protocols. 1220-1243
• 
  Jennifer Lennon, Hermann A. Maurer:
  Why it is Difficult to Introduce e-Learning into Schools And Some New Solutions. 1244-

Volume 9, Number 11, 2003

Special Issue on Formal Specifications of Computer-Based Systems

• 
  Doron Drusinsky, Man-tak Shing:
  Monitoring Temporal Logic Specifications Combined with Time Series Constraints. 1261-1276
• 
  Frantisek Scuglik, Miroslav Svéda:
  Automatically Generated CSP Specifications. 1277-1295
• 
  Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle:
  On the Use of Graph Transformation in the Formal Specification of Model Interpreters. 1296-1321
• 
  Cindy Kong, Perry Alexander, Catherine Menon:
  Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. 1322-1349
• 
  Stéphane Lafrance, John Mullins:
  An Information Flow Method to Detect Denial of Service Vulnerabilities. 1350-

Volume 9, Number 12, 2003

Special Issue on Skills Management - Managing Competencies in the Knowledge-based Economy

• 
  Kai Reinhardt, Klaus North:
  Transparency and Transfer of Individual Competencies - A Concept of Integrative Competence Management. 1372-1380
• 
  Simon Beck:
  Skill and Competence Management as a Base of an Integrated Personnel Development (IPD) - A Pilot Project in the Putzmeister, Inc./Germany. 1381-1387
• 
  Markus Won, Volkmar Pipek:
  Sharing Knowledge on Knowledge - The eXact Peripheral Expertise Awareness System. 1388-1397
• 
  Wolfgang Hiermann, Max Höfferer:
  A Practical Knowledge-based Approach to Skill Management and Personal Development. 1398-1409
• 
  José Braga de Vasconcelos, Chris Kimble, Álvaro Rocha:
  Organisational Memory Information Systems An example of a Group Memory System for the Management of Group Competencies. 1410-1427
• 
  Cord Hockemeyer, Owen Conlan, Vincent P. Wade, Dietrich Albert:
  Applying Competence Prerequisite Structures for eLearning and Skill Management. 1428-1436
• 
  Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Marco Mottola:
  A Formal Approach to Ontology-Based Semantic Match of Skills Descriptions. 1437-1454
• 
  Luca Stefanutti, Dietrich Albert:
  Skill Assessment in Problem Solving and Simulated Learning Environments. 1455-1468
• 
  Juan G. Cegarra-Navarro, Beatriz Rodrigo-Moya:
  Individual Knowledge as a Bridge between Human and Customer Capital. 1469-1486
• 
  Anna Mette Fuglseth, Kjell Groenhaug:
  A Tool Kit for Measurement of Organisational Learning: Methodological Requirements and an Illustrative Example. 1487-1499
• 
  Tobias Ley, Dietrich Albert:
  Identifying Employee Competencies in Dynamic Work Domains: Methodological Considerations and a Case Study. 1500-1518
• 
  Eduardo Tomé:
  Bad Management and its Consequences in a Problematic European Union Member (Portugal). 1519-