Content of Issue 1
DOI: 10.3217/jucs-013-01
|
| Selected Papers from the 1st ACIS International Workshop on Self-Assembling Wireless Networks |
G. Călinescu, I.I. Măndoiu, A. Zelikovsky, M. Zimand |
1 |
| Duplicate Address Detection and Autoconfiguration in OLSR |
S. Boudjit, C. Adjih, P. Mühlethaler, A. Laouiti |
4 |
| An Adaptive Hierarchical Extension of DSR: The Cluster Source Routing |
F. Jaddi, B. Paillassa |
32 |
| Quality of Service Routing in a MANET with OLSR |
D.-Q. Nguyen, P. Minet |
56 |
| VCA: An Energy-Efficient Voting-Based Clustering Algorithm for Sensor Networks |
M. Qin, R. Zimmermann |
87 |
| Energy Efficient Node Caching and Load Balancing Enhancement of Reactive Ad Hoc Routing Protocols |
N. Hundewale, S. Jung, A. Zelikovsky |
110 |
|
Content of Issue 2
|
| Communicative Intelligence |
N.T. Nguyen, T. Nishida |
133 |
| Sustainable Memory System Using Global and Conical Spaces |
H. Kubota, S. Nomura, Y. Sumi, T. Nishida |
135 |
| Building Immersive Conversation Environment Using Locomotive Interactive Character |
R. Chan, J. Hoshino |
149 |
| Real-time Human Proxy: An Avatar-based Communication System |
D. Arita, R.-I. Taniguchi |
161 |
| Analysis of Conversation Quanta for Conversational Knowledge Circulation |
K. Saito, H. Kubota, Y. Sumi, T. Nishida |
177 |
| Entrainment in the Rate of Utterances in Speech Dialogs between Users and an Auto Response System |
T. Komatsu, K. Morikawa |
186 |
| Parameter Estimation of Systems Described by the Relation with Noisy Observations |
J. Świątek |
199 |
| An OWL Ontology of Set of Experience Knowledge Structure |
C. Sanin, E. Szczerbicki, C. Toro |
209 |
| Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems |
I.G. Tabakow |
224 |
| Implementing Rule-Based Automated Price Negotiation in an Agent System |
C. Bădică, M. Ganzha, M. Paprzycki |
244 |
| Using Recommendation to Improve Negotiations in Agent-based Systems |
M. Lenar, J. Sobecki |
267 |
| Internet Path Behavior Prediction via Data Mining: Conceptual Framework and Case Study |
L. Borzemski |
287 |
| Deriving Consensus for Hierarchical Incomplete Ordered Partitions and Coverings |
M. Hernes, N.T. Nguyen |
317 |
| Consensus Determining with Dependencies of Attributes with Interval Values |
M. Zgrzywa |
329 |
Content of Issue 3
DOI: 10.3217/jucs-013-03
|
| New Advances in Reconfigurable Computing and its Applications |
M.A. Vega-Rodríguez, J.A. Gómez-Pulido, J.M. Sánchez-Pérez |
345 |
| The Use of Runtime Reconfiguration on FPGA Circuits to Increase the Performance of the AES Algorithm Implementation |
O. Pérez, Y. Berviller, C. Tanougast, S. Weber |
349 |
| Real-time Architecture for Robust Motion Estimation under Varying Illumination Conditions |
J. Díaz, E. Ros, R. Rodriguez-Gomez, B. del Pino |
363 |
| Design and Implementation of the AMCC Self-Timed Microprocessor in FPGAs |
S. Ortega-Cisneros, J.J. Raygoza-Panduro, A. de la Mora Gálvez |
377 |
| Hardware Implementation of an Efficient Correlator for Interleaved Complementary Sets of Sequences |
M. del Carmen Peréz, J. Ureña, Á. Hernández, C. De Marziani, A. Jiménez, W.P. Marnane |
388 |
| A Dynamically and Partially Reconfigurable Implementation of the IDEA Algorithm Using FPGAs and Handel-C |
J.M. Granado-Criado, M.A. Vega-Rodríguez, J.M. Sánchez-Pérez, J.A. Gómez-Pulido |
407 |
| On Pipelining Sequences of Data-Dependent Loops |
R.M.M. Rodrigues, J.M.P. Cardoso |
419 |
| Performance Evaluation and Limitations of a Vision System on a Reconfigurable/Programmable Chip |
J. Fernández-Pérez, F.J. Sánchez-Fernández, R. Carmona-Galán |
440 |
Content of Issue 4
DOI: 10.3217/jucs-013-04
|
| Managing Editor's Column |
H. Maurer |
454 |
| A Comparison of Various Methods for Computing Bounds for Positive Roots of Polynomials |
A.G. Akritas, P.S. Vigklas |
455 |
| Compile-time Computation of Polytime Functions |
E. Covino, G. Pani, D. Scrimieri |
468 |
| Internet Payment System: A New Payment System for Internet Transactions |
Z. Đurić, O. Marić, D. Gašević |
479 |
| Formal Representations of Learning Scenarios: A Methodology to Configure E-Learning Systems |
D. Helic |
504 |
| Mashups: Emerging Application Development Paradigm for a Digital Journal |
N. Kulathuramaiyer |
531 |
| A Cultural Information System Providing e-commerce Web Services, Digital Rights Management and Copyright Protection |
D.K. Tsolis, S. Sioutas, L. Drossos, T.S. Papatheodorou |
543 |
| Random k-GD-Sat Model and its Phase Transition |
M. Vujošević-Janičić, J. Tomašević, P. Janičić |
572 |
|
Content of Issue 6
|
| Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages |
R.S. Bigonha, M. Musicante |
679 |
| CML: C Modeling Language |
F. de Oliveira Jr., R. Lima, M. Cornelio, S. Soares, P. Maciel, R. Barreto, M. Oliveira Jr., E. Tavares |
682 |
| Constraint Programming Architectures: Review and a New Proposal |
J. Robin, J. Vitorino, A. Wolf |
701 |
| Logic Programming for Verification of Object-Oriented Programming Law Conditions |
L. de Freitas, M. Caraciolo, M. Cornélio |
721 |
| A Methodology for Removing LALR(k) Conflicts |
L. Teixeira Passos, M.A.S. Bigonha, R.S. Bigonha |
737 |
| Optimized Compilation of Around Advice for Aspect Oriented Programs |
E.S. Cordeiro, R.S. Bigonha, M.A.S. Bigonha, F. Tirelo |
753 |
| A Visual Language for Animated Simulation |
V.O. Di Iorio, D.P. Coura, L.V. Reis, M. Oikawa, C.R. Junior |
767 |
| RE-AspectLua - Achieving Reuse in AspectLua |
T. Batista, M. Vieira |
786 |
| Programming through Spreadsheets and Tabular Abstractions |
C.H.Q. Forster |
806 |
| A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems |
A. de Araújo Formiga, R. Dueire Lins |
817 |
| Cyclic Reference Counting with Permanent Objects |
R. Dueire Lins, F.H. de Carvalho Júnior, Z. Dueire Lins |
830 |
| C APIs in Extension and Extensible Languages |
H. Muhammad, R. Ierusalimschy |
839 |
| Higher-Order Lazy Functional Slicing |
N.F. Rodrigues, L. Soares Barbosa |
854 |
| Open and Closed Worlds for Overloading: a Definition and Support for Coexistence |
C. Camarão, C. Vasconcellos, L. Figueiredo, J. Nicola |
874 |
| Using Visitor Patterns in Object-Oriented Action Semantics |
A. Murbach Maidl, C. Carvilhe, M.A. Musicante |
891 |
Content of Issue 7
DOI: 10.3217/jucs-013-07
|
| Computers in Education: New Developments in e-Learning Technology |
B. Fernández-Manjón, M. Llamas-Nistal, R.-Á. Fernández |
920 |
| A First Step Mapping IMS Learning Design and Moodle |
D. Burgos, C. Tattersall, M. Dougiamas, H. Vogten, R. Koper |
924 |
| A WebQuest Framework to Improve the Study of Deadlock and Process Synchronization |
L. Panizo, R.-Á. Fernández, L. Sánchez |
932 |
| Supporting the Authoring and Operationalization of Educational Modelling Languages |
I. Martínez-Ortiz, P. Moreno-Ger, J.L. Sierra-Rodríguez, B. Fernández-Manjón |
938 |
| Collaborative Composition in a Foreign Language with Handheld Computing and Web Tools |
M. Paredes, P.P. Sánchez-Villalón, M. Ortega, J.Á. Velázquez-Iturbide |
948 |
| Pipeline-scheduling Simulator for Educational Purpose |
J.M. Chaves-González, M.A. Vega-Rodríguez, J.A. Gómez-Pulido, J.M. Sánchez-Pérez |
959 |
| Improving LO Quality through Instructional Design Based on an Ontological Model and Metadata |
E.M. Morales, F.J. García-Peñalvo, Á. Barrón |
970 |
| Supporting the Modeling of Flexible Educational Units PoEML: A Separation of Concerns Approach |
M. Caeiro-Rodríguez, M.J. Marcelino, M. Llamas-Nistal, L. Anido-Rifón, A.J. Mendes |
980 |
| A Framework for the Conceptualization of Approaches to "Create-by-Reuse" of Learning Design Solutions |
D. Hernández-Leo, A. Harrer, J.M. Dodero, J.I. Asensio-Pérez, D. Burgos |
991 |
| Creating Online Graduate Engineering Degrees at the University of New Mexico |
G.L. Heileman, C.T. Abdallah, W. Shu, C.G. Christodoulou, D. Knotts |
1002 |
| HME: a Handheld Model Editor for Educational Contexts |
M.J. Marcelino |
1012 |
| Designing Collaborative Learning Environments Using Digital Games |
C.A. Collazos, L.A. Guerrero, J.A. Pino, S.F. Ochoa, G. Stahl |
1022 |
| Mapping Academic Collaboration Networks: Perspectives from the First Year of the Reusable Learning Objects CETL |
R. Morales, P. Carmichael |
1033 |
|
Content of Issue 9
|
| Web Service Selection based on QoS Knowledge Management |
P. Adamopoulou, E. Sakkopoulos, A. Tsakalidis, M.D. Lytras |
1138 |
| Ontology and Grammar of the SOPHIE Choreography Conceptual Framework - An Ontological Model for Knowledge Management |
S. Arroyo |
1157 |
| Semantic-based Skill Management for Automated Task Assignment and Courseware Composition |
S. Colucci, T. Di Noia, E. Di Sciascio, F.M. Donini, A. Ragone |
1184 |
| Generative Instructional Engineering of Competence Development Programmes |
J.M. Dodero, S. Sánchez-Alonso, D. Frosch-Wilke |
1213 |
| Creating Links into the Future |
M.T. Afzal, N. Kulathuramaiyer, H. Maurer |
1234 |
| Focus of Attention in Reinforcement Learning |
L. Li, V. Bulitko, R. Greiner |
1246 |
| Distance Learning and Student Satisfaction in Java Programming Courses |
A. Settle, C. Settle |
1270 |
| Improving the Performance of a Tagger Generator in an Information Extraction Application |
J.A. Troyano, F. Enríquez, F. Cruz, J.M. Cañete-Valdeón, F.J. Ortega |
1287 |
| Co-evolution for Communication: An EHW Approach |
Y. Baleghi Damavandi, K. Mohammadi |
1300 |
| An Hybrid Fuzzy Variable Neighborhood Particle Swarm Optimization Algorithm for Solving Quadratic Assignment Problems |
H. Liu, A. Abraham |
1309 |
| Genetic Algorithm Based Recurrent Fuzzy Neural Network Modeling of Chemical Processes |
J. Tao, N. Wang, X. Wang |
1332 |
| The Architecture and Circuital Implementation Scheme of a New Cell Neural Network for Analog Signal Processing |
Y. Wang, Z. Zhang, J. Cui |
1344 |
| Computer Forensics System Based on Artificial Immune Systems |
J. Yang, T. Li, S. Liu, T. Wang, D. Wang, G. Liang |
1354 |
Content of Issue 10
DOI: 10.3217/jucs-013-10
|
| Managing Editor's Column |
H. Maurer |
1366 |
| Constant Size Ciphertext HIBE in the Augmented Selective-ID Model and its Extensions |
S. Chatterjee, P. Sarkar |
1367 |
| Pedagogical Natural Deduction Systems: the Propositional Case |
L. Colson, D. Michel |
1396 |
| Efficient Access Methods for Temporal Interval Queries of Video Metadata |
S. Sioutas, K. Tsichlas, B. Vassiliadis, D. Tsolis |
1411 |
| Mobile Sensemaking: Exploring Proximity and Mobile Applications in the Classroom |
G. Zurita, P. Antunes, N. Baloian, F. Baytelman |
1434 |
| An Approach to Polygonal Approximation of Digital Curves Based on Discrete Particle Swarm Algorithm |
F. Dong, R. Xiao, Y. Zhong, Y. Liu |
1449 |
| An Improved SVM Based on Similarity Metric |
C. Wang, Y. Sun, Y. Liang |
1462 |
| Machine Learning-Based Keywords Extraction for Scientific Literature |
C. Wu, M. Marchese, J. Jiang, A. Ivanyukovich, Y. Liang |
1471 |
| A Model of Immune Gene Expression Programming for Rule Mining |
T. Zeng, C. Tang, Y. Xiang, P. Chen, Y. Liu |
1484 |
Content of Issue 11
DOI: 10.3217/jucs-013-11
|
Combinatorics and Related Areas
A Collection of Papers in Honour of the 65th Birthday of
Ioan Tomescu |
C.S. Calude, G. Stefanescu, M. Zimand |
1498 |
| Spectral Densest Subgraph and Independence Number of a Graph |
R. Andersen, S.M. Cioabă |
1501 |
| Perfect Matchings in Polyhexes, or Recent Graph-theoretical Contributions to Benzenoids |
A.T. Balaban, M. Randić |
1514 |
| Equivalent Transformations of Automata by Using Behavioural Automata |
G. Ciobanu, S. Rudeanu |
1540 |
| On the Forcing Semantics for Monoidal t-norm Based Logic |
D. Diaconescu, G. Georgescu |
1550 |
| The Gray Code |
R.W. Doran |
1573 |
| Accepting Networks of Evolutionary Processors with Filtered Connections |
C. Drăgoi, F. Manea, V. Mitrana |
1598 |
| Analysis of two Sweep-line Algorithms for Constructing Spanning Trees and Steiner Trees |
A. Dumitrescu, C.D. Tóth |
1615 |
| On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras |
A. Iorgulescu |
1628 |
Satisfying Assignments of Random Boolean Constraint
Satisfaction Problems: Clusters and Overlaps |
G. Istrate |
1655 |
| Graded Sparse Graphs and Matroids |
A. Lee, I. Streinu, L. Theran |
1671 |
| Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings |
L. Leustean |
1680 |
| Matrices and α-Stable Bipartite Graphs |
V.E. Levit, E. Mandrescu |
1692 |
| Spiking Neural P Systems with Astrocyte-Like Control |
G. Păun |
1707 |
| High-level Structured Interactive Programs with Registers and Voices |
A. Popa, A. Sofronia, G. Stefanescu |
1722 |
| Balance in Systems of Finite Sets with Applications |
D.-R. Popescu |
1755 |
| Metric-Entropy Pairs on Lattices |
D. Simovici |
1767 |
| Connectivity and Reachability in Signed Networks |
M. Tătărâm |
1779 |
| Hamiltonicity of Topological Grid Graphs |
C. Zamfirescu, T. Zamfirescu |
1791 |
Content of Issue 12
DOI: 10.3217/jucs-013-12
|
| Ontologies and their Applications |
F. Freitas, H. Stuckenschmidt, A. Malucelli, H.S. Pinto |
1801 |
| ODEDialect: a Set of Declarative Languages for Implementing Ontology Translation Systems |
O. Corcho, A. Gómez-Pérez |
1805 |
| An Adaptable Framework for Ontology-based Content Creation on the Semantic Web |
O. Valkeapää, O. Alm, E. Hyvönen |
1835 |
| On Ranking RDF Schema Elements (and its Application in Visualization) |
Y. Tzitzikas, D. Kotzinos, Y. Theoharis |
1854 |
| An Ontology-based Approach to Support Text Mining and Information Retrieval in the Biological Domain |
K. Khelif, R. Dieng-Kuntz, P. Barbry |
1881 |
| Discovering the Semantics of User Keywords |
R. Trillo, J. Gracia, M. Espinoza, E. Mena |
1908 |
| The SEWASIE Network of Mediator Agents for Semantic Search |
D. Beneventano, S. Bergamaschi, F. Guerra, M. Vincini |
1936 |
Content of Issue 13
DOI: 10.3217/jucs-013-13
|
| Applications of Formal Methods to System Design and Verification |
F. Arbab, M. Sirjani |
1970 |
| Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph |
S. Sasaki, T. Nishihara, D. Ando, M. Fujita |
1972 |
| Self-Evolving Petri Nets |
L. Capra, W. Cazzola |
2002 |
| From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices |
M. Bravetti, A. Casalboni, M. Núñez, I. Rodriguez |
2035 |
| Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP) |
H. Hojjat, H. Nakhost, M. Sirjani |
2076 |
|
