Journal: J. UCS

Volume 13, Issue 9

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

Volume 13, Issue 8

1042 -- 1043Joey W. Coleman, Cliff B. Jones. Atomicity: A Unifying Concept in Computer Science
1044 -- 1046David B. Lomet. Dedication to Jim Gray
1047 -- 1072Christof Fetzer, Pascal Felber. Improving Program Correctness with Atomic Exception Handling
1073 -- 1093Dominique Méry, Stephan Merz. Specification and Refinement of Access Control
1094 -- 1109P. Michael Melliar-Smith, Louise E. Moser. Achieving Atomicity for Web Services Using Commutativity of Actions
1110 -- 1135Nuno 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

Volume 13, Issue 7

920 -- 923Baltasar Fernández-Manjón, Martín Llamas Nistal, Ramón-Ángel Fernández. Computers in Education: New Developments in e-Learning Technology
924 -- 931Daniel Burgos, Colin Tattersall, Martin Dougiamas, Hubert Vogten, Rob Koper. A First Step Mapping IMS Learning Design and Moodle
932 -- 937Luis Panizo, Ramón-Ángel Fernández, Lidia Sánchez. A WebQuest Framework to Improve the Study of Deadlock and Process Synchronization
938 -- 947Iván Martínez-Ortiz, Pablo Moreno-Ger, José Luis Sierra, Baltasar Fernández-Manjón. Supporting the Authoring and Operationalization of Educational Modelling Languages
948 -- 958Maximiliano 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
959 -- 969José 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
970 -- 979Erla 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
980 -- 990Manuel 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
991 -- 1001Davinia 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
1002 -- 1011Gregory L. Heileman, Chaouki T. Abdallah, Wei Shu, Christos G. Christodoulou, Debby Knotts. Creating Online Graduate Engineering Degrees at the University of New Mexico
1012 -- 1021Maria José Marcelino. HME: a Handheld Model Editor for Educational Contexts
1022 -- 1032César A. Collazos, Luis A. Guerrero, José A. Pino, Sergio F. Ochoa, Gerry Stahl. Designing Collaborative Learning Environments Using Digital Games
1033 -- 1041Raquel Morales, Patrick Carmichael. Mapping Academic Collaboration Networks: Perspectives from the First Year of the Reusable Learning Objects CETL

Volume 13, Issue 6

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

Volume 13, Issue 5

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

Volume 13, Issue 4

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

Volume 13, Issue 3

345 -- 348Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Juan Manuel Sánchez-Pérez. New Advances in Reconfigurable Computing and its Applications
349 -- 362Oscar 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
363 -- 376Javier Díaz, Eduardo Ros, Rafael Rodríguez-Gomez, Begoña del Pino. Real-time Architecture for Robust Motion Estimation under Varying Illumination Conditions
377 -- 387Susana Ortega-Cisneros, Juan Jóse Raygoza-Panduro, Alberto de la Mora Gálvez. Design and Implementation of the AMCC Self-Timed Microprocessor in FPGAs
388 -- 406Marí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
407 -- 418José 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
419 -- 439Rui Rodrigues, João M. P. Cardoso. On Pipelining Sequences of Data-Dependent Loops
440 -- 453José 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

Volume 13, Issue 2

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

Volume 13, Issue 13

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

Volume 13, Issue 12

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

Volume 13, Issue 11

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

Volume 13, Issue 10

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

Volume 13, Issue 1

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