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 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 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 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 |
|