Volume 6 (2000)

Content of Issue 1 DOI: 10.3217/jucs-006-01
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift	C.S. Calude, G. Stefanescu	1
Under the Sign of Boole	S. Marcus	3
Weak Inclusion Systems: Part Two	V. Emil Cazanescu, G. Rosu	5
The Lattice Structure of Pseudo_Wajsberg Algebras	R. Ceterchi	22
A Pi-Calculus Machine	G. Ciobanu, M. Rotaru	39
Galois Connections and Data Mining	D. Cristofor, L. Cristofor, D. A. Simovici	60
Behavioural Coherence in Object-Oriented Algebraic Specification	R. Diaconescu, K. Futatsugi	74
Monotone, Horn and Quadratic Pseudo-Boolean Functions	S. Foldes, P. L. Hammer	97
A Representation Theorem for Monadic Pavelka Algebras	G. Georgescu, I. Leustean	105
Mixed Relations as Enriched Semiringal Categories	R. Grosu, D. Lucanu, G. Stefanescu	112
Free-Extendible Prefix-Free Sets and an Extension of the Kraft-Chaitin Theorem	C. Grozea	130
The Automorphism Group of a Hypercube	F. Harary	136
Connections Between MVn Algebras and n-valued Lukasiewicz-Moisil Algebras - IV	A. Iorgulescu	139
A Canonical Model Construction for Substructural Logics	H. Ishihara	155
Computational Complementarity and Shift Spaces	M. Lipponen	169
Simulating H Systems by P Systems	G. Paun, T. Yokomori	178
On Equational Craig Interpolation	G. Rosu, J. Goguen	194
Notes on Partially-Ordered Structures in Computer Science: I. PA-Ordered Semirings and Some Related Structures	D. Vaida	201
Extractors for the Real World	K. Xue, M. Zimand	212

Content of Issue 2 DOI: 10.3217/jucs-006-02
Managing Editor's Column	H. Maurer	226
The Price of Routing in FPGAs	F. de Dinechin	227
Potential-Function_Based Analysis of an Off-Line Heap Construction Algorithm	A. Roberts, A. Symvonis	240

Content of Issue 3 DOI: 10.3217/jucs-006-03
Wonders of the Invisible Workplace: IT and Process Reinvention	P. A. Carlson	256
The Information Society as a Complex System	I. Antoniou, M. Reeve, V. Stenning	272
Methodologies and Tools For Continuous Improvement of Systems	W. D. Schindel, G. M. Rogers	289
Coffein: Construction and Presentation of Design Knowledge	S. Thies	324
Integrated Applications of Electronic Structure Computations in the Undergraduate Chemistry Curriculum	R. K. Hessley, D. L. Morris, Jr., M.R. R. Mueller	345
Electronic Submission, Managing and Approval of Grant Proposals at the German Research Foundation based on Standard Internet and Office Tools	D. W. Fellner, M. Zens	356
Perceptions about Internet Use by Teaching Faculty at Small Christian Colleges and Universities	J. Lennertz	367

Content of Issue 4 DOI: 10.3217/jucs-006-04
J.UCS Special Issue on BCTCS	P. E. Dunne, A. Gibbons	405
Formal Specification from an Observation-Oriented Perspective	M. Beynon, J. Rungrattanaubol, J. Sinclair	407
Using Genetic Algorithms to Solve the Motion Planning Problem	C. Eldershaw, S. Cameron	422
Functional Reading of Logic Programs	S. Seres, M. Spivey	433
Region-Based Discrete Geometry	M. B. Smyth	447
Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller	L. J. Steggles	460
Ensuring Termination in ESFP	A. Telford, D. Turner	474

Content of Issue 5 DOI: 10.3217/jucs-006-05
Managing Editor's Column	H. Maurer	489
A New Approach to Communicating X-Machines Systems	H. Georgescu, C. Vertan	490
Treeworld: A Conceptual Model for Large-Scale Hypermedia	D. B. Skillicorn	503
Knowledge Management and Environmental Informatics	K. Tochtermann, H. Maurer	517

Content of Issue 6 DOI: 10.3217/jucs-006-06
Managing Editor's Column	H. Maurer	537
Performance of RDBMS-WWW Interfaces under Heavy Workload	S. Hadjiefthymiades, I. Varouxis, D. Martakos	538
Invariant Patterns in Crystal Lattices: Implications for Protein Folding Algorithms	W. E. Hart, S. Istrail	560

Content of Issue 7 DOI: 10.3217/jucs-006-07
J.UCS Special Issue on Requirements Engineering - The Light Control Case Study	E. Börger, R. Gotzhein	580
The Light Control Case Study: A Synopsis	E. Börger, R. Gotzhein	582
The Light Control Case Study: Problem Description	S. Queins, G. Zimmermann, M. Becker, M. Kronenburg, C. Peper, R. Merz, J. Schaefer	586
Capturing Requirements by Abstract State Machines: The Light Control Case Study	E. Börger, E. Riccobene, J. Schmid	597
Analyzing the Light Control System with PVS	A. de Groot, J. Hooman	621
Applying the SCR Requirements Method to the Light Control Case Study	C. Heitmeyer, R. Bharadwaj	650
Application of the FOREST Approach to the Light Control Case Study	M. Kronenburg, C. Peper	679
Incremental Development of Real-Time Requirements: The Light Control Case Study	G. Smith, C. Fidge	704
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study	J. M. Thompson, M. W. Whalen, M. P. E. Heimdahl	731

Content of Issue 8 DOI: 10.3217/jucs-006-08
Managing Editor's Column	H. Maurer	758
Efficient Identification of Classes of P-Time Functions	S. Fontani	759
Syntax, Parsing and Production of Natural Language in a Framework of Information Compression by Multiple Alignment, Unification and Search	J.G. Wolff	781
The kth-Order Nonhomomorphicity of S-Boxes	Y. Zheng, X.-M. Zhang	830

Content of Issue 9 DOI: 10.3217/jucs-006-09
Managing Editor's Column	H. Maurer	849
Uniquely Parsable Accepting Grammar Systems	C. Martín-Vide, V. Mitrana	850
Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving	S. Ratschan	861
Nonlinear Computation with Switching Map Systems	Y. Sato, T. Ikegami	881

Content of Issue 10 DOI: 10.3217/jucs-006-10
J.UCS Special Issue on Multithreaded Processors and Chip-Multiprocessors	J. Keller, T. Ungerer	906
On Dynamic Speculative Thread Partitioning and the MEM-Slicing Algorithm	L. Codrescu, D.S. Wills	908
Performance of Switch Blocking on Multithreaded Architectures	K. Gopinath, M.K. Narasinhan	928
Execution and Cache Performance of the Scheduled Dataflow Architecture	K. Kavi, J. Arul, R. Giorgi	948
Compiler Generated Multithreading to Alleviate Memory Latency	K. E. Beyls, E. H. D'Hollander	968
On the Thread Scheduling Problem	W.-N. Li, J.-F. Jenq	994
Data Driven Network Of Workstations (D²NOW)	P. Evripidou, C. Kyriacou	1015
MSparc: Multithreading in Real-Time Architectures	A. Metzner, J. Niehaus	1034

Content of Issue 11
J.UCS Special Issue on Formal Specifications of Computer-Based Systems	V. Dvořák	1052
Nondeterministic Admissible Interference	J. Mullins	1054
Use of E-LOTOS in Adding Formality to UML	R. Clark, A. Moreira	1071
An Outline of PVS Semantics for UML Statecharts	I. Traoré	1088
Modeling Information System Behavior with Dynamic Relations Nets	L. Allain, P. Yim	1109
Towards Two-Level Formal Modeling of Computer-Based Systems	G. Karsai, G. Nordstrom, A. Ledeczi, J. Sztipanovits	1131
A Survey of Formal Methods Applied to Leader Election in IEEE 1394	S. Maharaj, C. Shankland	1145

Content of Issue 12 DOI: 10.3217/jucs-006-12
Managing Editor's Column	H. Maurer	1164
Grammar Systems with Negated Conditions in their Cooperation Protocols	H. Bordihn, M. Holzer	1165
Incompleteness in Linear Time	S. Caporaso, G. Pani, E. Covino	1185
Active Documents: Concept, Implementation and Applications	E. Heinrich, H. Maurer	1197
Some Elements of Z Specification Style: Structuring Techniques	A. MacDonald, D. Carrington	1203
New Tools for Cellular Automata in the Hyperbolic Plane	M. Margenstern	1226