default search action
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 L. 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 - Luís 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
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, Wing Bun 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 Túlio 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 - Jörg R. Mühlbacher:
Full Hash Table Search using Primitive Roots of the Prime Residue Group Z/p. 1239-1249 - Madhu Mutyam
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 A. Weaver, Michael R. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: