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

• 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

• 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

• 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

• 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 S. Avrithis, Giorgos B. Stamou, Manolis Wallace, Ferran Marqués, Philippe Salembier, Xavier Giro, 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

• 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 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

• 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 Tulio 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 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

• 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

• 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-