J.UCS, Volume 10

Volume 10, Number 1, 2004

• Armin Ulbrich, Herbert Pacnik:
  Human Issues in Implementing eLearning Technology. 1-3
  
• Maja Pivec, Olga Dziabenko:
  Game-Based Learning in Universities and Lifelong Learning: "UniGame: Social Skills and Knowledge Training" Game Concept. 4-16
  
• Edmond Abrahamian, Jerry B. Weinberg, Michael Grady, C. Michael Stanton:
  The Effect of Personality-Aware Computer-Human Interfaces on Learning. 17-27
  
• Andreas Schmidt, Claudia Winterhalter:
  User Context Aware Delivery of E-Learning Material: Approach and Architecture. 28-36
  
• Floriana Esposito, Oriana Licchelli, Giovanni Semeraro:
  Discovering Student Models in e-Learning Systems. 37-47
  
• Thomas Flor:
  Experiences with Adaptive User and Learning Models in eLearning Systems for Higher Education. 48-62
  
• Maja Pivec, K. Baumann:
  The Role of Adaptation and Personalisation in Classroom-Based Learning and in e-Learning. 63-79
  
• Edith Denman-Maier:
  Intercultural Factors in Web-based Training Systems. 80-104
  

Volume 10, Number 2, 2004

• Hermann A. Maurer:
  Managing Editor's Column. 95
  
• Pranay Chaudhuri, Hussein Thompson:
  A Message-Optimal Distributed Graph Algorithm: Partial Precedence Constrained Scheduling. 96-109
  
• Bernhard Rinner, Martin Schmid, Reinhold Weiss:
  A Rapid Prototyping Environment for Multi-DSP Systems based on Accurate Performance Prediction. 110-134
  
• Olivier Sessink, Rik Beeftink, Johannes Tramper, Rob J. M. Hartog:
  Securing Web-Based Exams. 135-147
  

Volume 10, Number 3, 2004

• Stefanie N. Lindstaedt:
  (Virtual) Communities of Practice within Modern Organizations - J.UCS Special Issue. 158-161
  
• Matteo Bonifacio, Pierfranco Camussone, Chiara Zini:
  Managing the KM Trade-Off: Knowledge Centralization versus Distribution. 162-175
  
• David Fuhr, Frank Fuchs-Kittowski:
  Against Hierarchy and Chaos Knowledge Coproduction in Nets of Experts. 176-185
  
• Björn Decker, Jörg Rech, Klaus-Dieter Althoff, Andreas Klotz, Edda Leopold, Angi Voß:
  Participative Process Introduction: Three Case Studies From the indiGo Project. 186-204
  
• Dimitris Apostolou, Gregoris Mentzas, Kostas Baraboutis, Soumi Papadopoulou:
  Facilitating Knowledge Exchange and Decision Making within Learning Networks. 205-226
  
• Roberta Cuel, Matteo Bonifacio, Mirko Grosselle:
  Knowledge Nodes: the Reification of Organizational Communities. The Pizzarotti Case Study. 227-234
  
• Jasminko Novak, Michael Wurst:
  Supporting Knowledge Creation and Sharing in Communities Based on Mapping Implicit Knowledge. 235-251
  
• Koichi Hori, Kumiyo Nakakoji, Yasuhiro Yamamoto, Jonathan L. Ostwald:
  Organic Perspectives of Knowledge Management: Knowledge Evolution through a Cycle of Knowledge Liquidization and Crystallization. 252-261
  
• John Davies, Alistair Duke, York Sure:
  OntoShare - An Ontology-based Knowledge Sharing System for virtual Communities of Practice. 262-283
  
• Georg Droschl:
  Communities of Practice: An Integrated Technology Perspective. 284-293
  
• Jennifer Preece:
  Etiquette, Empathy and Trust in Communities of Practice: Stepping-Stones to Social Capital. 294-302
  

Volume 10, Number 4, 2004

• Rafael Corchuelo, Antonio Ruiz Cortés:
  Breakthroughs and Challenges in Software Engineering. 303-305
  
• Hoh Peter In, David Olson:
  Requirements Negotiation Using Multi-Criteria Preference Analysis. 306-325
  
• Brian Henderson-Sellers, Magdy Serour, Tom McBride, Cesar Gonzalez-Perez, Lorraine Dagher:
  Process Construction and Customization. 326-358
  
• Jorge J. Gómez-Sanz, Juan Pavón:
  Methodologies for Developing Multi-Agent Systems. 359-374
  
• Luis Filipe Andrade, José Luiz Fiadeiro:
  Composition Contracts for Service Interaction. 375-390
  
• Roger T. Alexander, A. Jefferson Offutt:
  Coupling-based Testing of O-O Programs. 391-427
  
• Artur Boronat, Jennifer Pérez, José A. Carsí, Isidro Ramos:
  Two Experiences in Software Dynamics. 428-453
  
• Oscar Díaz, Juan J. Rodríguez:
  Portlets as Web Components: an Introduction. 454-472
  
• Mercedes Amor, Lidia Fuentes, Mónica Pinto:
  A Survey of Multimedia Software Engineering. 473-498
  

Volume 10, Number 5, 2004

• Gheorghe Paun, Mario J. Pérez-Jiménez:
  Second Brainstorming Week on Membrane Computing. 499-501
  
• Artiom Alhazov:
  On Determinism of Evolution-Communication P Systems. 502-508
  
• Francesco Bernardini, Marian Gheorghe:
  Population P Systems. 509-539
  
• Matteo Cavaliere, Daniela Genova:
  P Systems with Symport/Antiport of Rules. 540-558
  
• Andrés Cordón-Franco, Fernando Sancho-Caparrini:
  A Note on Complexity Measures for Probabilistic P Systems. 559-566
  
• Federico Fontana, Giuditta Franco:
  Finding the Maximum Element Using P Systems. 567-580
  
• Mihai Ionescu, Dragos Sburlan:
  On P Systems with Promoters/Inhibitors. 581-599
  
• Alberto Leporati, Claudio Zandron, Giancarlo Mauri:
  Simulating the Fredkin Gate with Energy-Based P Systems. 600-619
  
• Isabel A. Nepomuceno-Chamorro:
  A Java Simulator for Membrane Computing. 620-629
  
• Linqiang Pan, Tseren-Onolt Ishdorj:
  P Systems with Active Membranes and Separation Rules. 630-649
  
• Mario J. Pérez-Jiménez, Francisco José Romero-Campero:
  An Efficient Family of P Systems for Packing Items into Bins. 650-670
  

Volume 10, Number 6, 2004

• Klaus Tochtermann:
  Beyond the state-of-the-art of Knowledge Management. 671-673
  
• S. Y. Choy, W. B. Lee, Chi Fai Cheung:
  A Systematic Approach for Knowledge Audit Analysis: Integration of Knowledge Inventory, Mapping and Knowledge Flow Analysis. 674-682
  
• Martin J. Eppler:
  Facilitating Knowledge Communication through Joint Interactive Visualization. 683-690
  
• Tobias Mueller-Prothmann, Ina Finke:
  SELaKT - Social Network Analysis as a Method for Expert Localisation and Sustainable Knowledge Transfer. 691-701
  
• Jon Landeta Rodríguez, Arturo Rodríguez Castellanos, Stanislav Y. Ranguelov:
  Knowledge Management Analysis of the Research & Development & Transference Process at HEROs: a Public University Case. 702-711
  
• Niksa Alfirevic, Domagoj Racic:
  Knowledge Integration as a Source of Competitive Advantage in Large Croatian Enterprises. 712-722
  
• Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli:
  Semantic-based Approach to Task Assignment of Individual Profiles. 723-730
  
• M. Kefke:
  A Framework for the Successful Introduction of KM Using CBR and Semantic Web Technologies. 731-739
  
• Simone Stumpf, Janet McDonnell:
  An Investigation into Sharing Metadata: "I'm not thinking what you are thinking". 740-748
  

Volume 10, Number 7, 2004

• Rafael Dueire Lins:
  8th Brazilian Symposium on Programming Languages - J.UCS Special Issue. 749-750
  
• D. A. Turner:
  Total Functional Programming. 751-768
  
• Rafael Dueire Lins:
  Partial Categorical Multi-Combinators and Church-Rosser Theorems. 769-788
  
• Fabricio Chalub, Christiano Braga:
  A Modular Rewriting Semantics for CML. 789-807
  
• Marco Antonio Barbosa, Luís Soares Barbosa:
  A Relational Model for Component Interconnection. 808-823
  
• Fernando Magno Quintão Pereira, Marco Tulio de Oliveira Valente, Wagner Salazar Pires, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha:
  Tactics for Remote Method Invocation. 824-842
  
• Fernando Castor Filho, Cecília M. F. Rubira:
  Implementing Coordinated Error Recovery for Distributed Object-Oriented Systems with AspectJ. 843-858
  
• Brian T. Westphal, Frederick C. Harris Jr., Sergiu Dascalu:
  Snippets: Support for Drag-and-Drop Programming in the Redwood Environment. 859-871
  
• Ademir Alvarenga de Oliveira, Thiago Henrique Braga, Marcelo de Almeida Maia, Roberto da Silva Bigonha:
  MetaJ: An Extensible Environment for Metaprogramming in Java. 872-891
  

Volume 10, Number 8, 2004

• Bernhard Ganter, Gerd Stumme, Rudolf Wille:
  Formal Concept Analysis: Theory and Applications. 926
  
• Sergei O. Kuznetsov:
  On the Intractability of Computing the Duquenne?Guigues Bas. 927-933
  
• James Abello, Alex J. Pogel, Lance Miller:
  Breadth First Search Graph Partitions and Concept Lattices. 934-954
  
• Bernhard Ganter:
  Conflict Avoidance in Additive Order Diagrams. 955-966
  
• Uta Priss, L. John Old:
  Modelling Lexical Databases with Formal Concept Analysis. 967-984
  
• Claudio Carpineto, Giovanni Romano:
  Exploiting the Potential of Concept Lattices for Information Retrieval with CREDO. 985-1013
  
• Emmanuel Zenou, Manuel Samuelides:
  Galois Lattice Theory for Probabilistic Visual Landmarks. 1014-1033
  

Volume 10, Number 9, 2004

• Hermann A. Maurer:
  Managing Editor's Column. 1034
  
• Sandra de Amo, Mirian Halfeld Ferrari Alves:
  Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators. 1035-1064
  
• Pasquale De Meo, Giorgio Terracina, Domenico Ursino:
  X-Global: a System for the "Almost Automatic" and Semantic Integration of XML Sources at Various Flexibility Levels. 1065-1109
  
• Heinz Dreher, Harald Krottmaier, Hermann A. Maurer:
  What we Expect from Digital Libraries. 1110-1122
  
• Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft:
  Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs. 1123-1155
  
• Stéphane Lafrance:
  Symbolic Approach to the Analysis of Security Protocols. 1156-1198
  
• Rajasvaran Logeswaran:
  Fast Two-Stage Lempel-Ziv Lossless Numeric Telemetry Data Compression Using a Neural Network Predictor. 1199-1211
  
• Maurice Margenstern:
  The Tiling of the Hyperbolic 4D Space by the 120-cell is Combinatoric. 1212-1238
  
• Joerg R. Muehlbacher:
  Full Hash Table Search using Primitive Roots of the Prime Residue Group Z/p. 1239-1249
  
• Madhu Mutyam, Vaka Jaya Prakash, Kamala Krithivasan:
  Rewriting Tissue P Systems. 1250-1271
  
• James F. Power, David Sinclair:
  A Formal Model of Forth Control Words in the Pi-Calculus. 1272-1293
  
• Sergiu Rudeanu:
  On the Decomposition of Boolean Functions via Boolean Equations. 1294-1301
  
• José Luis Sierra, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón, Antonio Navarro:
  ADDS: A Document-Oriented Approach for Application Development. 1302-1324
  
• Spyros Sioutas, Christos Makris, Nectarios Kitsios, George Lagogiannis, John Tsaknakis, Kostas Tsichlas, Bill Vassiliadis:
  Geometric Retrieval for Grid Points in the RAM Model. 1325-1353
  

Volume 10, Number 10, 2004

• Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit:
  Formal Specification of Computer-Based Systems. 1354-1356
  
• Matthew J. Emerson, Janos Sztipanovits, Ted Bapty:
  A MOF-Based Metamodeling Environment. 1357-1382
  
• Tivadar Szemethy, Gabor Karsai:
  Platform Modeling and Model Transformations for Analysis. 1383-1407
  
• Mark Denford, Andrew Solomon, John Leaney, Tim O'Neill:
  Architectural Abstraction as Transformation of Poset Labelled Graphs. 1408-1428
  
• Cristina Cerschi Seceleanu, Tiberiu Seceleanu:
  Synchronization Can Improve Reactive Systems Control and Modularity. 1429-1468
  
• Petr Matousek:
  Tools for Parametric Verification. A Comparison on a Case Study. 1469-1494
  

Volume 10, Number 11, 2004

• Juan Carlos Augusto:
  Second International Workshop on Verification and Validation of Enterprise Information Systems. 1495-1497
  
• Miguel J. Hornos:
  FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking. 1498-1518
  
• John A. van der Poll, Paula Kotzé, Willem Adrian Labuschagne:
  Automated Support for Enterprise Information Systems. 1519-1539
  
• W. L. Yeung:
  Checking Consistency between UML Class and State Models Based on CSP and B. 1540-1559
  

Volume 10, Number 12, 2004

• Miroslav N. Velev:
  Tuning SAT for Formal Verification and Testing. 1559-1561
  
• Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
  MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation. 1562-1596
  
• Rajat Arora, Michael S. Hsiao:
  Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking. 1597-1628
  
• Feng Lu, Li-C. Wang, Kwang-Ting (Tim) Cheng, John Moondanos, Ziyad Hanna:
  A Signal Correlation Guided Circuit-SAT Solver. 1629-1654
  
• John V. Franco, Michal Kouril, John S. Schlipf, Sean Weaver, Michael Dransfield, W. Mark Vanfleet:
  Function-Complete Lookahead in Support of Efficient SAT Search Heuristics. 1655-1695
  
• Gianpiero Cabodi, Sergio Nocco, Stefano Quer:
  Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals. 1696-1730
  

Last update Sat May 18 20:44:31 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page