Volume 8 (2002)

Content of Issue 1 DOI: 10.3217/jucs-008-01
Managing Editor's Column	H. Maurer	1
The Origins and the Development of the ASM Method for High Level System Design and Analysis	E. Börger	2
An Implicit Recursive Language for the Polynomial Time-space Complexity Classes	E. Covino, G. Pani	75
On a New Powerful Model for Knowledge Management and its Applications	H. Maurer, K. Tochtermann	85
On Second Generation Distributed Component Systems	K. Schmaranz	97

Content of Issue 2 DOI: 10.3217/jucs-008-02
Advances and Trends in Automata and Formal Languages A Collection of Papers in Honour of the 60th Birthday of Helmut Juergensen - J.UCS Special Issue	C.S. Calude, K. Salomaa, S. Yu	117
On the Computational Complexity of Synchronized Context-Free Languages	H. Bordihn, M. Holzer	119
Additive Distances and Quasi_Distances Between Words	C.S. Calude, K. Salomaa, S. Yu	141
Finding Median Partitions Using Information-Theoretical-Based Genetic Algorithms	D. Cristofor, D. Simovici	153
Rationally Additive Semirings	Z. Ésik, W. Kuich	173
On Quasi-Products of Tree Automata	F. Gécseg	184
Descriptional Complexity of Machines with Limited Resources	J. Goldstine, M. Kappes, C.M. Kintala, H. Leung, A. Malcher, D. Wotschke	193
Simply Normal Numbers to Different Bases	P. Hertling	235
Word Operation Closure and Primitivity of Languages	H. K. Hsiao, C. C. Huang, S. S. Yu	243
Shuffle Decomposition of Regular Languages	M. Ito	257
Some Remarks on Codes Defined by Petri Nets	M. Ito, J. Dassow, R. Stiebe	260
Synchronization and Stability of Finite Automata	J. Kari	270
Error-Correction, and Finite-Delay Decodability	S. Konstantinidis	278
Bridging Two Hierarchies of Infinite Words	S. Marcus	292
Tiling the Hyperbolic Plane with a Single Pentagonal Tile	M. Margenstern	297
On the Power of P Systems with Symport Rules	C. Martín-Vide, A. Paun, G. Paun	317
Generation of Constants and Synchronization of Finite Automata	A. Salomaa	332
How Large is the Set of Disjunctive Sequences?	L. Staiger	348
A Fast and Simple Algorithm for Constructing Minimal Acyclic Deterministic Finite Automata	B. W. Watson	363

Content of Issue 3 DOI: 10.3217/jucs-008-03
Managing Editor's Column	H. Maurer	368
Membrane Computing: The Power of (Rule) Creation	F. Arroyo, A. Baranda, J. Castellanos, G. Paun	369
Some Notes on Fine Computability	V. Brattka	382
Is Democracy Possible in the Internet?	J. Shearer, H. Maurer	396

Content of Issue 4 DOI: 10.3217/jucs-008-04
Managing Editor's Column	H. Maurer	408
HWOES: A Hyperwave Online Employment Service	J. Lennon, H. Liu, H. Maurer	409
Modelling Agents as Observable Sources	M. Viroli, A. Omicini	423

Content of Issue 5 DOI: 10.3217/jucs-008-05
J.UCS Special Issue: I-Know 02 - People-Oriented Knowledge Management	H. Maurer, K. Tochtermann	453
The New Mobility of Our Society Caused by Telecommunications	J. Günther	456
The Knowledge-Attention-Gap: Do We Underestimate the Problem of Information Overload in Knowledge Management	U. Schneider	482
Knowledge on Demand: Knowledge and Expert Discovery	M. T. Maybury	491
Ontology-Based Skills Management: Goals, Opportunities and Challenges	J. R. Reich, P. Brockhausen, T. Lau, U. Reimer	506
Bibliometric Analysis and Visualisation of Intellectual Capital	A. Kasztler, K.-H. Leitner	516
Knowledge and Intellectual Capital Management Processes: Grounding Knowledge and Understanding of Organisational Learning	S. Liyanage	526
Fostering Knowledge Communication: Concept And Implementation	R. Reinhardt, B. Stattkus	536
Knowledge Transfer in Recycling Networks: Fostering Sustainable Development	E. Milchrahm, A. Hasler	546
The Role of Interaction Histories in Mental Model Building and Knowledge Sharing in the Legal Domain	A. Komlodi	557

Content of Issue 6 DOI: 10.3217/jucs-008-06
J.UCS Special Issue: I-Know 02 - Technology-Oriented Knowledge Management	K. Tochtermann, H. Maurer	567
What to Expect from Software Experience Exploitation	K. Schneider	570
Automated Retrieval of Information in the Internet by Using Thesauri and Gazetteers as Knowledge Sources	W.-F. Riekert	581
Instance Cooperative Memory to Improve Query Expansion in Information Retrieval Systems	L. Jéribi, B. Rumpler	591
Extracting and Visualizing Knowledge from Film and Video Archives	H. D. Wactlar	602
Efficient Content-Based and Metadata Retrieval in Image Database	S. Atnafu, R. Chbeir, L. Brunie	613
Topic Map Generation Using Text Mining	K. Böhm, G. Heyer, U. Quasthoff, C. Wolff	623
Usage-Centered Interface Design for Knowledge Management Software	H. Karner, G. Droschl	634
Shark - a System for Management, Synchronization and Exchange of Knowledge in Mobile User Groups	T. Schwotzer, K. Geihs	644
Knowledge Nodes: the Building Blocks of a Distributed Approach to Knowledge Management	M. Bonifacio, P. Bouquet, R. Cuel	652
Managing User Focused Access to Distributed Knowledge	R. Studer, Y. Sure, R. Volz	662

Content of Issue 7 DOI: 10.3217/jucs-008-07
Managing Editor's Column	H. Maurer	673
A Framework for Semantics of UML Sequence Diagrams in PVS	D. B. Aredo	674
Bounded Flooding Routing Algorithm for Provisioning the Globally Optimal Route in a Hierarchical ATM Network	D. Won-Kyu Hong, C. Seon Hong, Y. Jae Hyoung, D.-S. Yun, W.-S. Kim	698
Heyting Algebras and Formal Languages	W. Kuich, N. Sauer, F. Urbanek	722

Content of Issue 8 DOI: 10.3217/jucs-008-08
J.UCS Special Issue on Spatial and Temporal Reasoning	H. W. Guesgen, F. D. Anger, G. Ligozat, R. V. Rodríguez	737
An Architecture for a Three-Tier Path-Finder	M. Barley, H. W. Guesgen, G. Karl	739
The Design of an Object-based System for Representing and Classifying Spatial Structures and Relations	F. Le Ber, A. Napoli	751
Spatial-reasoning for Agents in Multiple Dimensions	D. Mitra, G. Ligozat	774
Reasoning with Intervals on Granules	S. R. Schwer	793
Scheduling Tasks to a Team of Autonomous Mobile Service Robots in Indoor Enviroments	H. Surmann, A. Morales	808

Content of Issue 9 DOI: 10.3217/jucs-008-09
Managing Editor's Column	H. Maurer	833
Co-operative and Interactive Distance Learning: Application of Team-Oriented and Selective Learning Strategies in a European Bank	J. P. Hasebrook	834
Webs, Grids and Knowledge Spaces: Programmes, Projects and Prospects	H.-G. Stork	848

Content of Issue 10 DOI: 10.3217/jucs-008-10
J.UCS Special Issue: Hypermedia - State of the Art 2002	K. Tochtermann	869
Research in Structural Computing	D. L. Hicks, U. K. Wiil, P. J. Nürnberg	871
Design for All as a Challenge for Hypermedia Engineering	V. Mattick	881
An Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Development	A. Fronk	892
The TrailTRECer Framework: Applying Open Hypermedia Concepts to Trails	E. Gams, S. Reich	913
Components of a Model of Context-Sensitive Hypertexts	A. Mehler	924
Towards an XML-based Implementation of Structured Hypermedia Documents	J. Westbomke, G. Dittrich	944
Mental Models to Represent Dynamics - Using the Example "factorial"	G. Dittrich	957
XML and MPEG-7 for Interactive Annotation and Retrieval using Semantic Meta-data	M. Lux, W. Klieber, J. Becker, K. Tochtermann, H. Mayer, H. Neuschmied, W. Haas	965
Software for a Multimedia Encyclopedia	H. Mülner	985

Content of Issue 11 DOI: 10.3217/jucs-008-11
Managing Editor's Column	H. Maurer	991
Extentions of Affine Arithmetic: Application to Unconstrained Global Optimization	F. Messine	992
Finding Plagiarisms among a Set of Programs with JPlag	L. Prechelt, G. Malpohl, M. Philippsen	1016

Content of Issue 12 DOI: 10.3217/jucs-008-12
Managing Editor's Column	H. Maurer	1039
On the Simplification of HD0L Power Series	J. Honkala	1040
On the Semiautomatic Generation of WordNet Type Synsets and Clusters	F. Hristea	1047