Journal: J. UCS

Volume 10, Issue 9

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

Volume 10, Issue 8

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

Volume 10, Issue 7

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

Volume 10, Issue 6

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

Volume 10, Issue 5

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

Volume 10, Issue 4

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

Volume 10, Issue 3

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

Volume 10, Issue 2

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

Volume 10, Issue 12

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

Volume 10, Issue 11

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

Volume 10, Issue 10

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

Volume 10, Issue 1

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