Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 6

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