Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 13

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 5
DOI: 10.3217/jucs-013-05
Managing Editor's Column H. Maurer 592
Formal Methods
Guest Editorial
R. Banach 593
Software Is More Than Code S.K. Rajamani 602
Formal Methods for Specifying, Validating, and Verifying Requirements C.L. Heitmeyer 607
Formal Methods: Theory Becoming Practice J.-R. Abrial 619
Floating-Point Verification J. Harrison 629
Model Checking: Software and Beyond E.M. Clarke, F. Lerda 639
Automated Formal Methods Enter the Mainstream J. Rushby 650
The Verification Grand Challenge J. Woodcock, R. Banach 661
Realising the Benefits of Formal Methods A. Hall 669
Content of Issue 6
DOI: 10.3217/jucs-013-06
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. Heron de Carvalho Junior, 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.S. 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 8
DOI: 10.3217/jucs-013-08
Atomicity: A Unifying Concept in Computer Science J.W. Coleman, C.B. Jones 1042
Dedication to Jim Gray D. Lomet 1044
Improving Program Correctness with Atomic Exception Handling C. Fetzer, P. Felber 1047
Specification and Refinement of Access Control D. Méry, S. Merz 1073
Achieving Atomicity for Web Services Using Commutativity of Actions P.M. Melliar-Smith, L.E. Moser 1094
On the Use of a Reflective Architecture to Augment Database Management Systems N. Carvalho, A. Correia Jr., J. Pereira, L. Rodrigues, R. Oliveira, S. Guedes 1110
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