J.UCS, Volume 13

Volume 13, Number 1, 2007

• Gruia Calinescu, Ion I. Mandoiu, Alexander Zelikovsky, Marius Zimand:
  Selected Papers from the 1st ACIS International Workshop on Self-Assembling Wireless Networks. 1-3
  
• Saadi Boudjit, Cedric Adjih, Paul Mühlethaler, Anis Laouiti:
  Duplicate Address Detection and Autoconfiguration in OLSR. 4-31
  
• Farid Jaddi, Béatrice Paillassa:
  An Adaptive Hierarchical Extension of DSR: The Cluster Source Routing. 32-55
  
• Dang-Quan Nguyen, Pascale Minet:
  Quality of Service Routing in a MANET with OLSR. 56-86
  
• Min Qin, Roger Zimmermann:
  VCA: An Energy-Efficient Voting-Based Clustering Algorithm for Sensor Networks. 87-109
  
• Nisar Hundewale, Sunsook Jung, Alexander Zelikovsky:
  Energy Efficient Node Caching and Load Balancing Enhancement of Reactive Ad Hoc Routing Protocols. 110-132
  

Volume 13, Number 2, 2007

• Ngoc Thanh Nguyen, Toyoaki Nishida:
  Communicative Intelligence. 133-134
  
• Hidekazu Kubota, Satoshi Nomura, Yasuyuki Sumi, Toyoaki Nishida:
  Sustainable Memory System Using Global and Conical Spaces. 135-148
  
• Rai Chan, Junichi Hoshino:
  Building Immersive Conversation Environment Using Locomotive Interactive Character. 149-160
  
• Daisaku Arita, Rin-ichiro Taniguchi:
  Real-time Human Proxy: An Avatar-based Communication System. 161-176
  
• Ken Saito, Hidekazu Kubota, Yasuyuki Sumi, Toyoaki Nishida:
  Analysis of Conversation Quanta for Conversational Knowledge Circulation. 177-185
  
• Takanori Komatsu, Koji Morikawa:
  Entrainment in the Rate of Utterances in Speech Dialogs between Users and an Auto Response System. 186-198
  
• Jerzy Swiatek:
  Parameter Estimation of Systems Described by the Relation with Noisy Observations. 199-208
  
• Cesar Sanín, Edward Szczerbicki, Carlos Toro:
  An OWL Ontology of Set of Experience Knowledge Structure. 209-223
  
• Iwan Tabakow:
  Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems. 224-243
  
• Costin Badica, Maria Ganzha, Marcin Paprzycki:
  Implementing Rule-Based Automated Price Negotiation in an Agent System. 244-266
  
• Mateusz Lenar, Janusz Sobecki:
  Using Recommendation to Improve Negotiations in Agent-based Systems. 267-286
  
• Leszek Borzemski:
  Internet Path Behavior Prediction via Data Mining: Conceptual Framework and Case Study. 287-316
  
• Marcin Hernes, Ngoc Thanh Nguyen:
  Deriving Consensus for Hierarchical Incomplete Ordered Partitions and Coverings. 317-328
  
• Michal Zgrzywa:
  Consensus Determining with Dependencies of Attributes with Interval Values. 329-344
  

Volume 13, Number 3, 2007

• Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Juan Manuel Sánchez-Pérez:
  New Advances in Reconfigurable Computing and its Applications. 345-348
  
• Oscar Pérez, Yves Berviller, Camel Tanougast, Serge Weber:
  The Use of Runtime Reconfiguration on FPGA Circuits to Increase the Performance of the AES Algorithm Implementation. 349-362
  
• Javier Díaz, Eduardo Ros, Rafael Rodríguez-Gomez, Begoña del Pino:
  Real-time Architecture for Robust Motion Estimation under Varying Illumination Conditions. 363-376
  
• Susana Ortega-Cisneros, Juan Jóse Raygoza-Panduro, Alberto de la Mora Gálvez:
  Design and Implementation of the AMCC Self-Timed Microprocessor in FPGAs. 377-387
  
• María del Carmen Pérez, Jesús Ureña, Álvaro Hernández, Carlos De Marziani, Ana Jiménez, William P. Marnane:
  Hardware Implementation of an Efficient Correlator for Interleaved Complementary Sets of Sequences. 388-406
  
• José M. Granado Criado, Miguel A. Vega-Rodríguez, Juan Manuel Sánchez-Pérez, Juan Antonio Gómez Pulido:
  A Dynamically and Partially Reconfigurable Implementation of the IDEA Algorithm Using FPGAs and Handel-C. 407-418
  
• Rui Rodrigues, João M. P. Cardoso:
  On Pipelining Sequences of Data-Dependent Loops. 419-439
  
• José Fernández-Pérez, Francisco J. Sánchez-Fernández, Ricardo Carmona-Galán:
  Performance Evaluation and Limitations of a Vision System on a Reconfigurable/Programmable Chip. 440-453
  

Volume 13, Number 4, 2007

• Hermann A. Maurer:
  Managing Editor's Column. 454-454
  
• Alkiviadis G. Akritas, Panagiotis S. Vigklas:
  A Comparison of Various Methods for Computing Bounds for Positive Roots of Polynomials. 455-467
  
• Emanuele Covino, Giovanni Pani, Daniele Scrimieri:
  Compile-time Computation of Polytime Functions. 468-478
  
• Zoran Djuric, Ognjen Maric, Dragan Gasevic:
  Internet Payment System: A New Payment System for Internet Transactions. 479-503
  
• Denis Helic:
  Formal Representations of Learning Scenarios: A Methodology to Configure E-Learning Systems. 504-531
  
• Narayanan Kulathuramaiyer:
  Mashups: Emerging Application Development Paradigm for a Digital Journal. 531-542
  
• Dimitris K. Tsolis, Spyros Sioutas, Lambros Drossos, Theodore S. Papatheodorou:
  A Cultural Information System Providing e-commerce Web Services, Digital Rights Management and Copyright Protection. 543-571
  
• Milena Vujosevic-Janicic, Jelena Tomasevic, Predrag Janicic:
  Random k-GD-Sat Model and its Phase Transition. 572-591
  

Volume 13, Number 5, 2007

• Hermann A. Maurer:
  Managing Editor's Column. 592-592
  
• Richard Banach:
  Formal Methods Guest Editorial. 593-601
  
• Sriram K. Rajamani:
  Software Is More Than Code. 602-606
  
• Constance L. Heitmeyer:
  Formal Methods for Specifying, Validating, and Verifying Requirements. 607-618
  
• Jean-Raymond Abrial:
  Formal Methods: Theory Becoming Practice. 619-628
  
• John Harrison:
  Floating-Point Verification. 629-638
  
• Edmund M. Clarke, Flavio Lerda:
  Model Checking: Software and Beyond. 639-649
  
• John Rushby:
  Automated Formal Methods Enter the Mainstream. 650-660
  
• Jim Woodcock, Richard Banach:
  The Verification Grand Challenge. 661-668
  
• Anthony Hall:
  Realising the Benefits of Formal Methods. 669-678
  

Volume 13, Number 6, 2007

• Roberto da Silva Bigonha, Martin A. Musicante:
  Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages. 679-681
  
• Jacques Robin, Jairson Vitorino, Armin Wolf:
  Constraint Programming Architectures: Review and a New Proposal. 701-720
  
• Leonardo Teixeira Passos, Mariza Andrade da Silva Bigonha, Roberto da Silva Bigonha:
  A Methodology for Removing LALR(k) Conflicts. 737-752
  
• Eduardo S. Cordeiro, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha, Fabio Tirelo:
  Optimized Compilation of Around Advice for Aspect Oriented Programs. 753-766
  
• Thaís Vasconcelos Batista, Maurício Vieira:
  RE-AspectLua - Achieving Reuse in AspectLua. 786-805
  
• Carlos Henrique Quartucci Forster:
  Programming through Spreadsheets and Tabular Abstractions. 806-816
  
• Andrei de Araújo Formiga, Rafael Dueire Lins:
  A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems. 817-829
  
• Rafael Dueire Lins, Francisco Heron de Carvalho Junior, Zanoni Dueire Lins:
  Cyclic Reference Counting with Permanent Objects. 830-838
  
• Hisham Muhammad, Roberto Ierusalimschy:
  C APIs in Extension and Extensible Languages. 839-853
  
• Nuno F. Rodrigues, Luís Soares Barbosa:
  Higher-Order Lazy Functional Slicing. 854-873
  
• Carlos Camarão, Cristiano Vasconcellos, Lucília Figueiredo, João Nicola:
  Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. 874-890
  
• André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante:
  Using Visitor Patterns in Object-Oriented Action Semantics. 891-919
  

Volume 13, Number 7, 2007

• Baltasar Fernández-Manjón, Martín Llamas Nistal, Ramón-Ángel Fernández:
  Computers in Education: New Developments in e-Learning Technology. 920-923
  
• Daniel Burgos, Colin Tattersall, Martin Dougiamas, Hubert Vogten, Rob Koper:
  A First Step Mapping IMS Learning Design and Moodle. 924-931
  
• Luis Panizo, Ramón-Ángel Fernández, Lidia Sánchez:
  A WebQuest Framework to Improve the Study of Deadlock and Process Synchronization. 932-937
  
• Iván Martínez-Ortiz, Pablo Moreno-Ger, José Luis Sierra, Baltasar Fernández-Manjón:
  Supporting the Authoring and Operationalization of Educational Modelling Languages. 938-947
  
• Maximiliano Paredes, Pedro P. Sánchez-Villalón, Manuel Ortega, J. Ángel Velázquez-Iturbide:
  Collaborative Composition in a Foreign Language with Handheld Computing and Web Tools. 948-958
  
• José M. Chaves-González, Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Juan Manuel Sánchez-Pérez:
  Pipeline-scheduling Simulator for Educational Purpose. 959-969
  
• Erla Morales Morgado, Francisco José García Peñalvo, Ángela Barrón Ruiz:
  Improving LO Quality through Instructional Design Based on an Ontological Model and Metadata. 970-979
  
• Manuel Caeiro Rodríguez, Maria José Marcelino, Martín Llamas Nistal, Luis E. Anido-Rifón, António José Mendes:
  Supporting the Modeling of Flexible Educational Units PoEML: A Separation of Concerns Approach. 980-990
  
• Davinia Hernández Leo, Andreas Harrer, Juan Manuel Dodero, Juan I. Asensio-Pérez, Daniel Burgos:
  A Framework for the Conceptualization of Approaches to "Create-by-Reuse" of Learning Design Solutions. 991-1001
  
• Gregory L. Heileman, Chaouki T. Abdallah, Wei Shu, Christos G. Christodoulou, Debby Knotts:
  Creating Online Graduate Engineering Degrees at the University of New Mexico. 1002-1011
  
• Maria José Marcelino:
  HME: a Handheld Model Editor for Educational Contexts. 1012-1021
  
• César A. Collazos, Luis A. Guerrero, José A. Pino, Sergio F. Ochoa, Gerry Stahl:
  Designing Collaborative Learning Environments Using Digital Games. 1022-1032
  
• Raquel Morales, Patrick Carmichael:
  Mapping Academic Collaboration Networks: Perspectives from the First Year of the Reusable Learning Objects CETL. 1033-1041
  

Volume 13, Number 8, 2007

• Joey W. Coleman, Cliff B. Jones:
  Atomicity: A Unifying Concept in Computer Science. 1042-1043
  
• David B. Lomet:
  Dedication to Jim Gray. 1044-1046
  
• Christof Fetzer, Pascal Felber:
  Improving Program Correctness with Atomic Exception Handling. 1047-1072
  
• Dominique Méry, Stephan Merz:
  Specification and Refinement of Access Control. 1073-1093
  
• P. Michael Melliar-Smith, Louise E. Moser:
  Achieving Atomicity for Web Services Using Commutativity of Actions. 1094-1109
  
• Nuno Carvalho, Alfrânio Correia Jr., José Pereira, Luís Rodrigues, Rui Carlos Oliveira, Susana Guedes:
  On the Use of a Reflective Architecture to Augment Database Management Systems. 1110-1135
  

Volume 13, Number 9, 2007

• Hermann A. Maurer:
  Managing Editor's Column. 1136-1137
  
• Poulia Adamopoulou, Evangelos Sakkopoulos, Athanasios K. Tsakalidis, Miltiadis D. Lytras:
  Web Service Selection based on QoS Knowledge Management. 1138-1156
  
• Sinuhé Arroyo:
  Ontology and Grammar of the SOPHIE Choreography Conceptual Framework - An Ontological Model for Knowledge Management. 1157-1183
  
• Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone:
  Semantic-based Skill Management for Automated Task Assignment and Courseware Composition. 1184-1212
  
• Juan Manuel Dodero, Salvador Sánchez Alonso, Dirk Frosch-Wilke:
  Generative Instructional Engineering of Competence Development Programmes. 1213-1233
  
• Muhammad Tanvir Afzal, Narayanan Kulathuramaiyer, Hermann A. Maurer:
  Creating Links into the Future. 1234-1245
  
• Lihong Li, Vadim Bulitko, Russell Greiner:
  Focus of Attention in Reinforcement Learning. 1246-1269
  
• Amber Settle, Chad Settle:
  Distance Learning and Student Satisfaction in Java Programming Courses. 1270-1286
  
• José A. Troyano, Fernando Enríquez, Fermín Cruz, José Miguel Cañete Valdeón, F. Javier Ortega:
  Improving the Performance of a Tagger Generator in an Information Extraction Application. 1287-1299
  
• Yasser Baleghi Damavandi, Karim Mohammadi:
  Co-evolution for Communication: An EHW Approach. 1300-1308
  
• Hongbo Liu, Ajith Abraham:
  An Hybrid Fuzzy Variable Neighborhood Particle Swarm Optimization Algorithm for Solving Quadratic Assignment Problems. 1309-1331
  
• Jili Tao, Ning Wang, Xuejun Wang:
  Genetic Algorithm Based Recurrent Fuzzy Neural Network Modeling of Chemical Processes. 1332-1343
  
• Youren Wang, Zhiqiang Zhang, Jiang Cui:
  The Architecture and Circuital Implementation Scheme of a New Cell Neural Network for Analog Signal Processing. 1344-1353
  
• Jin Yang, Tao Li, SunJun Liu, Tiefang Wang, Diangang Wang, Gang Liang:
  Computer Forensics System Based on Artificial Immune Systems. 1354-1365
  

Volume 13, Number 10, 2007

• Hermann A. Maurer:
  Managing Editor's Column. 1366-13667
  
• Sanjit Chatterjee, Palash Sarkar:
  Constant Size Ciphertext HIBE in the Augmented Selective-ID Model and its Extensions. 1367-1395
  
• Loïc Colson, David Michel:
  Pedagogical Natural Deduction Systems: the Propositional Case. 1396-1410
  
• Spyros Sioutas, Kostas Tsichlas, Bill Vassiliadis, Dimitris K. Tsolis:
  Efficient Access Methods for Temporal Interval Queries of Video Metadata. 1411-1433
  
• Gustavo Zurita, Pedro Antunes, Nelson Baloian, Felipe Baytelman:
  Mobile Sensemaking: Exploring Proximity and Mobile Applications in the Classroom. 1434-1448
  
• Fangmin Dong, Renbin Xiao, Yifang Zhong, Yong Liu:
  An Approach to Polygonal Approximation of Digital Curves Based on Discrete Particle Swarm Algorithm. 1449-1461
  
• Chaoyong Wang, Yanfeng Sun, Yanchun Liang:
  An Improved SVM Based on Similarity Metric. 1462-1470
  
• Chunguo Wu, Maurizio Marchese, Jingqing Jiang, Alexander Ivanyukovich, Yanchun Liang:
  Machine Learning-Based Keywords Extraction for Scientific Literature. 1471-1483
  
• Tao Zeng, Changjie Tang, Yong Xiang, Peng Chen, Yintian Liu: A Model of Immune Gene Expression Programming for Rule Mining. 1484-1497

Volume 13, Number 11, 2007

• Cristian S. Calude, Gheorghe Stefanescu, Marius Zimand:
  Combinatorics and Related Areas A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu. 1498-1500
  
• Reid Andersen, Sebastian M. Cioaba:
  Spectral Densest Subgraph and Independence Number of a Graph. 1501-1513
  
• Alexandru T. Balaban, Milan Randic:
  Perfect Matchings in Polyhexes, or Recent Graph-theoretical Contributions to Benzenoids. 1514-1539
  
• Gabriel Ciobanu, Sergiu Rudeanu:
  Equivalent Transformations of Automata by Using Behavioural Automata. 1540-1549
  
• Denisa Diaconescu, George Georgescu:
  On the Forcing Semantics for Monoidal t-norm Based Logic. 1550-1572
  
• Robert W. Doran:
  The Gray Code. 1573-1597
  
• Cezara Dragoi, Florin Manea, Victor Mitrana:
  Accepting Networks of Evolutionary Processors with Filtered Connections. 1598-1614
  
• Adrian Dumitrescu, Csaba D. Tóth:
  Analysis of two Sweep-line Algorithms for Constructing Spanning Trees and Steiner Trees. 1615-1627
  
• Afrodita Iorgulescu:
  On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras. 1628-1654
  
• Gabriel Istrate:
  Satisfying Assignments of Random Boolean Constraint Satisfaction Problems: Clusters and Overlaps. 1655-1670
  
• Audrey Lee, Ileana Streinu, Louis Theran:
  Graded Sparse Graphs and Matroids. 1671-1679
  
• Laurentiu Leustean:
  Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings. 1680-1691
  
• Vadim E. Levit, Eugen Mandrescu:
  Matrices and alpha-Stable Bipartite Graphs. 1692-1706
  
• Gheorghe Paun:
  Spiking Neural P Systems with Astrocyte-Like Control. 1707-1721
  
• Alexandru Popa, Alexandru Sofronia, Gheorghe Stefanescu:
  High-level Structured Interactive Programs with Registers and Voices. 1722-1754
  
• Dragos Radu Popescu:
  Balance in Systems of Finite Sets with Applications. 1755-1766
  
• Dragos Radu Popescu:
  Balance in Systems of Finite Sets with Applications. 1755-1766
  
• Dan A. Simovici:
  Metric-Entropy Pairs on Lattices. 1767-1767
  
• Monica Tataram:
  Connectivity and Reachability in Signed Networks. 1779-1790
  
• Christina Zamfirescu, Tudor Zamfirescu:
  Hamiltonicity of Topological Grid Graphs. 1791-1800
  

Volume 13, Number 12, 2007

• Frederico Luiz Gonçalves de Freitas, Heiner Stuckenschmidt, Andreia Malucelli, Helena Sofia Pinto:
  Ontologies and their Applications. 1801-1804
  
• Óscar Corcho, Asunción Gómez-Pérez:
  ODEDialect: a Set of Declarative Languages for Implementing Ontology Translation Systems. 1805-1834
  
• Onni Valkeapää, Olli Alm, Eero Hyvönen:
  An Adaptable Framework for Ontology-based Content Creation on the Semantic Web. 1835-1835
  
• Yannis Tzitzikas, Dimitris Kotzinos, Yannis Theoharis:
  On Ranking RDF Schema Elements (and its Application in Visualization). 1854-1880
  
• Khaled Khelif, Rose Dieng-Kuntz, Pascal Barbry:
  An Ontology-based Approach to Support Text Mining and Information Retrieval in the Biological Domain. 1881-1907
  
• Raquel Trillo, Jorge Gracia, Mauricio Espinoza, Eduardo Mena:
  Discovering the Semantics of User Keywords. 1908-1935
  
• Domenico Beneventano, Sonia Bergamaschi, Francesco Guerra, Maurizio Vincini:
  The SEWASIE Network of Mediator Agents for Semantic Search. 1936-1969
  

Volume 13, Number 13, 2007

• Farhad Arbab, Marjan Sirjani:
  Applications of Formal Methods to System Design and Verification. 1970-1971
  
• Shunsuke Sasaki, Tasuku Nishihara, Daisuke Ando, Masahiro Fujita:
  Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph. 1972-2001
  
• Lorenzo Capra, Walter Cazzola:
  Self-Evolving Petri Nets. 2002-2034
  
• Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez:
  From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. 2035-2075
  
• Hossein Hojjat, Hootan Nakhost, Marjan Sirjani:
  Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP). 2076-2104