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

Content of Issue 1
DOI: 10.3217/jucs-010-01
Human Issues in Implementing eLearning Technology A. Ulbrich, H. Pacnik 1
Situated Models and Metadata for Learning Management H. Allert, C. Richter, W. Nejdl 4
Game-Based Learning in Universities and Lifelong Learning: "UniGame: Social Skills and Knowledge Training" Game Concept M. Pivec, O. Dziabenko 14
The Effect of Personality-Aware Computer-Human Interfaces on Learning E. Abrahamian, J. Weinberg, M. Grady, C.M. Stanton 27
User Context Aware Delivery of E-Learning Material: Approach and Architecture A. Schmidt, C. Winterhalter 38
Discovering Student Models in e-learning Systems F. Esposito, O. Licchelli, G. Semeraro 47
Experiences with Adaptive User and Learning Models in eLearning Systems for Higher Education T. Flor 58
The Role of Adaptation and Personalisation in Classroom-Based Learning and in e-Learning M. Pivec, K. Baumann 73
Intercultural Factors in Web-based Training Systems E. Denman-Maier 90
Content of Issue 2
DOI: 10.3217/jucs-010-02
Managing Editor's Column H. Maurer 105
A Message-Optimal Distributed Graph Algorithm: Partial Precedence Constrained Scheduling P. Chaudhuri, H. Thompson 106
A Rapid Prototyping Environment for Multi-DSP Systems based on Accurate Performance Prediction B. Rinner, M. Schmid, R. Weiss 120
Securing Web-Based Exams O. Sessink, R. Beeftink, J. Tramper, R. Hartog 145
Content of Issue 3
DOI: 10.3217/jucs-010-03
(Virtual) Communities of Practice within Modern Organizations - J.UCS Special Issue S. N. Lindstaedt 158
Managing the KM Trade-Off: Knowledge Centralization versus Distribution M. Bonifacio, P. Camussone, C. Zini 162
Against Hierarchy and Chaos Knowledge Coproduction in Nets of Experts D. Fuhr, F. Fuchs-Kittowski 176
Participative Process Introduction: Three Case Studies From the indiGo Project B. Decker, J. Rech, K.-D. Althoff, A. Klotz, E. Leopold, A. Voss 186
Facilitating Knowledge Exchange and Decision Making within Learning Networks D. Apostolou, G. Mentzas, K. Baraboutis, S. Papadopoulou 205
Knowledge Nodes: the Reification of Organizational Communities. The Pizzarotti Case Study R. Cuel, M. Bonifacio, M. Grosselle 227
Supporting Knowledge Creation and Sharing in Communities Based on Mapping Implicit Knowledge J. Novak, M. Wurst 235
Organic Perspectives of Knowledge Management: Knowledge Evolution through a Cycle of Knowledge Liquidization and Crystallization K. Hori, K. Nakakoji, Y. Yamamoto, J. Ostwald 252
OntoShare - An Ontology-based Knowledge Sharing System for virtual Communities of Practice J. Davies, A. Duke, Y. Sure 262
Communities of Practice: An Integrated Technology Perspective G. Droschl 284
Etiquette, Empathy and Trust in Communities of Practice: Stepping-Stones to Social Capital J. Preece 294
Content of Issue 4
DOI: 10.3217/jucs-010-04
Breakthrough and Challenges in Software Engineering R. Corchuelo, A. Ruiz-Cortes 303
Requirements Negotiation Using Multi-Criteria Preference Analysis H. Peter In, D. Olson 306
Process Construction and Customization B. Henderson-Sellers, M. Serour, T. McBride, C. Gonzalez-Perez, L. Dagher 326
Methodologies for Developing Multi-Agent Systems J. Gómez-Sanz, J. Pavón 359
Composition Contracts for Service Interaction L.F. Andrade, J.L. Fiadeiro 375
Coupling-based Testing of O-O Programs R. T. Alexander, J. Offutt 391
Two Experiences in Software Dynamics A. Boronat, J. Pérez, J. Á. Carsí, I. Ramos 428
Portlets as Web Components: an Introduction O. Díaz, J. J. Rodríguez 454
A Survey of Multimedia Software Engineering M. Amor, L. Fuentes, M. Pinto 473
Content of Issue 5
DOI: 10.3217/jucs-010-05
Second Brainstorming Week on Membrane Computing G. Paun, M. J. Pérez-Jiménez 499
On Determinism of Evolution-Communication P Systems A. Alhazov 502
Population P Systems F. Bernardini, M. Gheorghe 509
P Systems with Symport/Antiport of Rules M. Cavaliere, D. Genova 540
A Note on Complexity Measures for Probabilistic P Systems A. Cordón-Franco, F. Sancho-Caparrini 559
Finding the Maximum Element Using P Systems F. Fontana, G. Franco 567
On P Systems with Promoters/Inhibitors M. Ionescu, D. Sburlan 581
Simulating the Fredkin Gate with Energy-Based P Systems A. Leporati, C. Zandron, G. Mauri 600
A Java Simulator for Membrane Computing I. A. Nepomuceno-Chamorro 620
P Systems with Active Membranes and Separation Rules L. Pan, T.-O. Ishdorj 630
An Efficient Family of P Systems for Packing Items into Bins M. J. Pérez-Jiménez, F.J. Romero-Campero 650
Content of Issue 6
DOI: 10.3217/jucs-010-06
Beyond the state-of-the-art of Knowledge Management K. Tochtermann 671
A Systematic Approach for Knowledge Audit Analysis: Integration of Knowledge Inventory, Mapping and Knowledge Flow Analysis S. Y. Choy, W. B. Lee, C. F. Cheung 674
Facilitating Knowledge Communication through Joint Interactive Visualization M. J. Eppler 683
SELaKT - Social Network Analysis as a Method for Expert Localisation and Sustainable Knowledge Transfer T. Mueller-Prothmann, I. Finke 691
Knowledge Management Analysis of the Research & Development & Transference Process at HEROs: a Public University Case J. Landeta Rodríguez, A. Rodríguez Castellanos, S. Y. Ranguelov 702
Knowledge Integration as a Source of Competitive Advantage in Large Croatian Enterprises N. Alfirevic, D. Racic 712
Semantic-based Approach to Task Assignment of Individual Profiles S. Colucci, T. Di Noia, E. Di Sciascio, F. M. Donini, M. Mongiello, G. Piscitelli 723
A Framework for the Successful Introduction of KM Using CBR and Semantic Web Technologies M. Hefke 731
An Investigation into Sharing Metadata: "I'm not thinking what you are thinking" S. Stumpf, J. McDonnell 740
Content of Issue 7
DOI: 10.3217/jucs-010-07
8th Brazilian Symposium on Programming Languages - J.UCS Special Issue R. Dueire Lins 749
Total Functional Programming D. A. Turner 751
Partial Categorical Multi-Combinators and Church-Rosser Theorems R. Dueire Lins 769
A Modular Rewriting Semantics for CML F. Chalub, C. Braga 789
A Relational Model for Component Interconnection M.A. Barbosa, L. Soares Barbosa 808
Tactics for Remote Method Invocation F.M.Q. Pereira, M.T.d.O. Valente, W.S. Pires, R. da Silva Bigonha, M.A. da Silva Bigonha 824
Implementing Coordinated Error Recovery for Distributed Object-Oriented Systems with AspectJ F.C. Filho, C.M. F. Rubira 843
Snippets: Support for Drag-and-Drop Programming in the Redwood Environment B.T. Westphal, F. C. Harris, Jr., S.M. Dascalu 859
MetaJ: An Extensible Environment for Metaprogramming in Java A. Alvarenga de Oliveira, T. Henrique Braga, M.d.A. Maia, R. da Silva Bigonha 872
LuaInterface: Scripting the .NET CLR with Lua F. Mascarenhas, R. Ierusalimschy 892
Coroutines in Lua A. Lúcia de Moura, N. Rodriguez, R. Ierusalimschy 910
Content of Issue 8
DOI: 10.3217/jucs-010-08
Formal Concept Analysis: Theory and Applications B. Ganter, G. Stumme, R. Wille 926
On the Intractability of Computing the Duquenne-Guigues Base S. O. Kuznetsov 927
Breadth First Search Graph Partitions and Concept Lattices J. Abello, A. J. Pogel, L. Miller 934
Conflict Avoidance in Additive Order Diagrams B. Ganter 955
Modelling Lexical Databases with Formal Concept Analysis U. Priss, L.J. Old 967
Exploiting the Potential of Concept Lattices for Information Retrieval with CREDO C. Carpineto, G. Romano 985
Galois Lattice Theory for Probabilistic Visual Landmarks E. Zenou, M. Samuelides 1014
Content of Issue 9
DOI: 10.3217/jucs-010-09
Managing Editor's Column H. Maurer 1034
Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators S. de Amo, M.H.F. Alves 1035
X-Global: a System for the "Almost Automatic" and Semantic Integration of XML Sources at Various Flexibility Levels P. De Meo, G. Terracina, D. Ursino 1065
What we Expect from Digital Libraries H. Dreher, H. Krottmaier, H. Maurer 1110
Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs M. Goudarzi, S. Hessabi, A. Mycroft 1123
Symbolic Approach to the Analysis of Security Protocols S. Lafrance 1156
Fast Two-Stage Lempel-Ziv Lossless Numeric Telemetry Data Compression Using a Neural Network Predictor R. Logeswaran 1199
The Tiling of the Hyperbolic 4D Space by the 120-cell is Combinatoric M. Margenstern 1212
Full Hash Table Search using Primitive Roots of the Prime Residue Group Z/p J. R. Muehlbacher 1239
Rewriting Tissue P Systems M. Mutyam, V. Jaya Prakash, K. Krithivasan 1250
A Formal Model of Forth Control Words in the Pi-Calculus J. F. Power, D. Sinclair 1272
On the Decomposition of Boolean Functions via Boolean Equations S. Rudeanu 1294
ADDS: A Document-Oriented Approach for Application Development J. Luis Sierra, A. Fernández-Valmayor, B. Fernández-Manjón, A. Navarro 1302
Geometric Retrieval for Grid Points in the RAM Model S. Sioutas, C. Makris, N. Kitsios, G. Lagogiannis, J. Tsaknakis, K. Tsichlas, B. Vassiliadis 1325
Content of Issue 10
DOI: 10.3217/jucs-010-10
Formal Specification of Computer-Based Systems M. Sveda, C. Rattray, J. W. Rozenblit 1354
A MOF-Based Metamodeling Environment M. J. Emerson, J. Sztipanovits, T. Bapty 1357
Platform Modeling and Model Transformations for Analysis T. Szemethy, G. Karsai 1383
Architectural Abstraction as Transformation of Poset Labelled Graphs M. Denford, A. Solomon, J. Leaney, T. O'Neill 1408
Synchronization Can Improve Reactive Systems Control and Modularity C. Cerschi Seceleanu, T. Seceleanu 1429
Tools for Parametric Verification. A Comparison on a Case Study P. Matoušek 1469
Content of Issue 11
DOI: 10.3217/jucs-010-11
Second International Workshop on Verification and Validation of Enterprise Information Systems
J.UCS Special Issue
J. Carlos Augusto, U. Ultes-Nitsche 1495
FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking M. J. Hornos 1498
Automated Support for Enterprise Information Systems J.A. Andrew van der Poll, P. Kotzé, W. Adrian Labuschagne 1519
Checking Consistency between UML Class and State Models Based on CSP and B W. L. Yeung 1540
Content of Issue 12
DOI: 10.3217/jucs-010-12
Tuning SAT for Formal Verification and Testing M. N. Velev 1559
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation F. A. Aloul, I. L. Markov, K. A. Sakallah 1562
Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking R. Arora, M.S. Hsiao 1597
A Signal Correlation Guided Circuit-SAT Solver F. Lu, L.-C. Wang, J. Moondanos, Z. Hanna 1629
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics J. Franco, M. Kouril, J. Schlipf, S. Weaver, M. Dransfield, W.M. Vanfleet 1655
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals G. Cabodi, S. Nocco, S. Quer 1693