J.UCS,
Volume 10
Volume 10,
Number 1,
2004
Volume 10,
Number 2,
2004
Volume 10,
Number 3,
2004
- Stefanie N. Lindstaedt:
(Virtual) Communities of Practice within Modern Organizations - J.UCS Special Issue.
158-161
Electronic Edition (link) BibTeX
- Matteo Bonifacio, Pierfranco Camussone, Chiara Zini:
Managing the KM Trade-Off: Knowledge Centralization versus Distribution.
162-175
Electronic Edition (link) BibTeX
- David Fuhr, Frank Fuchs-Kittowski:
Against Hierarchy and Chaos Knowledge Coproduction in Nets of Experts.
176-185
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Dimitris Apostolou, Gregoris Mentzas, Kostas Baraboutis, Soumi Papadopoulou:
Facilitating Knowledge Exchange and Decision Making within Learning Networks.
205-226
Electronic Edition (link) BibTeX
- Roberta Cuel, Matteo Bonifacio, Mirko Grosselle:
Knowledge Nodes: the Reification of Organizational Communities. The Pizzarotti Case Study.
227-234
Electronic Edition (link) BibTeX
- Jasminko Novak, Michael Wurst:
Supporting Knowledge Creation and Sharing in Communities Based on Mapping Implicit Knowledge.
235-251
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- John Davies, Alistair Duke, York Sure:
OntoShare - An Ontology-based Knowledge Sharing System for virtual Communities of Practice.
262-283
Electronic Edition (link) BibTeX
- Georg Droschl:
Communities of Practice: An Integrated Technology Perspective.
284-293
Electronic Edition (link) BibTeX
- Jennifer Preece:
Etiquette, Empathy and Trust in Communities of Practice: Stepping-Stones to Social Capital.
294-302
Electronic Edition (link) BibTeX
Volume 10,
Number 4,
2004
- Rafael Corchuelo, Antonio Ruiz Cortés:
Breakthroughs and Challenges in Software Engineering.
303-305
Electronic Edition (link) BibTeX
- Hoh Peter In, David Olson:
Requirements Negotiation Using Multi-Criteria Preference Analysis.
306-325
Electronic Edition (link) BibTeX
- Brian Henderson-Sellers, Magdy Serour, Tom McBride, Cesar Gonzalez-Perez, Lorraine Dagher:
Process Construction and Customization.
326-358
Electronic Edition (link) BibTeX
- Jorge J. Gómez-Sanz, Juan Pavón:
Methodologies for Developing Multi-Agent Systems.
359-374
Electronic Edition (link) BibTeX
- Luis Filipe Andrade, José Luiz Fiadeiro:
Composition Contracts for Service Interaction.
375-390
Electronic Edition (link) BibTeX
- Roger T. Alexander, A. Jefferson Offutt:
Coupling-based Testing of O-O Programs.
391-427
Electronic Edition (link) BibTeX
- Artur Boronat, Jennifer Pérez, José A. Carsí, Isidro Ramos:
Two Experiences in Software Dynamics.
428-453
Electronic Edition (link) BibTeX
- Oscar Díaz, Juan J. Rodríguez:
Portlets as Web Components: an Introduction.
454-472
Electronic Edition (link) BibTeX
- Mercedes Amor, Lidia Fuentes, Mónica Pinto:
A Survey of Multimedia Software Engineering.
473-498
Electronic Edition (link) BibTeX
Volume 10,
Number 5,
2004
- Gheorghe Paun, Mario J. Pérez-Jiménez:
Second Brainstorming Week on Membrane Computing.
499-501
Electronic Edition (link) BibTeX
- Artiom Alhazov:
On Determinism of Evolution-Communication P Systems.
502-508
Electronic Edition (link) BibTeX
- Francesco Bernardini, Marian Gheorghe:
Population P Systems.
509-539
Electronic Edition (link) BibTeX
- Matteo Cavaliere, Daniela Genova:
P Systems with Symport/Antiport of Rules.
540-558
Electronic Edition (link) BibTeX
- Andrés Cordón-Franco, Fernando Sancho-Caparrini:
A Note on Complexity Measures for Probabilistic P Systems.
559-566
Electronic Edition (link) BibTeX
- Federico Fontana, Giuditta Franco:
Finding the Maximum Element Using P Systems.
567-580
Electronic Edition (link) BibTeX
- Mihai Ionescu, Dragos Sburlan:
On P Systems with Promoters/Inhibitors.
581-599
Electronic Edition (link) BibTeX
- Alberto Leporati, Claudio Zandron, Giancarlo Mauri:
Simulating the Fredkin Gate with Energy-Based P Systems.
600-619
Electronic Edition (link) BibTeX
- Isabel A. Nepomuceno-Chamorro:
A Java Simulator for Membrane Computing.
620-629
Electronic Edition (link) BibTeX
- Linqiang Pan, Tseren-Onolt Ishdorj:
P Systems with Active Membranes and Separation Rules.
630-649
Electronic Edition (link) BibTeX
- Mario J. Pérez-Jiménez, Francisco José Romero-Campero:
An Efficient Family of P Systems for Packing Items into Bins.
650-670
Electronic Edition (link) BibTeX
Volume 10,
Number 6,
2004
- Klaus Tochtermann:
Beyond the state-of-the-art of Knowledge Management.
671-673
Electronic Edition (link) BibTeX
- S. Y. Choy, W. B. Lee, C. F. Cheung:
A Systematic Approach for Knowledge Audit Analysis: Integration of Knowledge Inventory, Mapping and Knowledge Flow Analysis.
674-682
Electronic Edition (link) BibTeX
- Martin J. Eppler:
Facilitating Knowledge Communication through Joint Interactive Visualization.
683-690
Electronic Edition (link) BibTeX
- Tobias Mueller-Prothmann, Ina Finke:
SELaKT - Social Network Analysis as a Method for Expert Localisation and Sustainable Knowledge Transfer.
691-701
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Niksa Alfirevic, Domagoj Racic:
Knowledge Integration as a Source of Competitive Advantage in Large Croatian Enterprises.
712-722
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- M. Kefke:
A Framework for the Successful Introduction of KM Using CBR and Semantic Web Technologies.
731-739
Electronic Edition (link) BibTeX
- Simone Stumpf, Janet McDonnell:
An Investigation into Sharing Metadata: "I'm not thinking what you are thinking".
740-748
Electronic Edition (link) BibTeX
Volume 10,
Number 7,
2004
- Rafael Dueire Lins:
8th Brazilian Symposium on Programming Languages - J.UCS Special Issue.
749-750
Electronic Edition (link) BibTeX
- D. A. Turner:
Total Functional Programming.
751-768
Electronic Edition (link) BibTeX
- Rafael Dueire Lins:
Partial Categorical Multi-Combinators and Church-Rosser Theorems.
769-788
Electronic Edition (link) BibTeX
- Fabricio Chalub, Christiano Braga:
A Modular Rewriting Semantics for CML.
789-807
Electronic Edition (link) BibTeX
- Marco Antonio Barbosa, Luís Soares Barbosa:
A Relational Model for Component Interconnection.
808-823
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Fernando Castor Filho, Cecília M. F. Rubira:
Implementing Coordinated Error Recovery for Distributed Object-Oriented Systems with AspectJ.
843-858
Electronic Edition (link) BibTeX
- Brian T. Westphal, Frederick C. Harris Jr., Sergiu Dascalu:
Snippets: Support for Drag-and-Drop Programming in the Redwood Environment.
859-871
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Volume 10,
Number 8,
2004
Volume 10,
Number 9,
2004
- Hermann A. Maurer:
Managing Editor's Column.
1034
Electronic Edition (link) BibTeX
- Sandra de Amo, Mirian Halfeld Ferrari Alves:
Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators.
1035-1064
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Heinz Dreher, Harald Krottmaier, Hermann A. Maurer:
What we Expect from Digital Libraries.
1110-1122
Electronic Edition (link) BibTeX
- Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft:
Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs.
1123-1155
Electronic Edition (link) BibTeX
- Stéphane Lafrance:
Symbolic Approach to the Analysis of Security Protocols.
1156-1198
Electronic Edition (link) BibTeX
- Rajasvaran Logeswaran:
Fast Two-Stage Lempel-Ziv Lossless Numeric Telemetry Data Compression Using a Neural Network Predictor.
1199-1211
Electronic Edition (link) BibTeX
- Maurice Margenstern:
The Tiling of the Hyperbolic 4D Space by the 120-cell is Combinatoric.
1212-1238
Electronic Edition (link) BibTeX
- Joerg R. Muehlbacher:
Full Hash Table Search using Primitive Roots of the Prime Residue Group Z/p.
1239-1249
Electronic Edition (link) BibTeX
- Madhu Mutyam, Vaka Jaya Prakash, Kamala Krithivasan:
Rewriting Tissue P Systems.
1250-1271
Electronic Edition (link) BibTeX
- James F. Power, David Sinclair:
A Formal Model of Forth Control Words in the Pi-Calculus.
1272-1293
Electronic Edition (link) BibTeX
- Sergiu Rudeanu:
On the Decomposition of Boolean Functions via Boolean Equations.
1294-1301
Electronic Edition (link) BibTeX
- José Luis Sierra, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón, Antonio Navarro:
ADDS: A Document-Oriented Approach for Application Development.
1302-1324
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Volume 10,
Number 10,
2004
Volume 10,
Number 11,
2004
Volume 10,
Number 12,
2004
- Miroslav N. Velev:
Tuning SAT for Formal Verification and Testing.
1559-1561
Electronic Edition (link) BibTeX
- Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation.
1562-1596
Electronic Edition (link) BibTeX
- Rajat Arora, Michael S. Hsiao:
Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking.
1597-1628
Electronic Edition (link) BibTeX
- Feng Lu, Li-C. Wang, Kwang-Ting (Tim) Cheng, John Moondanos, Ziyad Hanna:
A Signal Correlation Guided Circuit-SAT Solver.
1629-1654
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Gianpiero Cabodi, Sergio Nocco, Stefano Quer:
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals.
1696-1730
Electronic Edition (link) BibTeX
Copyright © Tue May 27 18:31:41 2008
by Michael Ley (ley@uni-trier.de)
