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
Electronic Edition (link) BibTeX
- Saadi Boudjit, Cedric Adjih, Paul Mühlethaler, Anis Laouiti:
Duplicate Address Detection and Autoconfiguration in OLSR.
4-31
Electronic Edition (link) BibTeX
- Farid Jaddi, Béatrice Paillassa:
An Adaptive Hierarchical Extension of DSR: The Cluster Source Routing.
32-55
Electronic Edition (link) BibTeX
- Dang-Quan Nguyen, Pascale Minet:
Quality of Service Routing in a MANET with OLSR.
56-86
Electronic Edition (link) BibTeX
- Min Qin, Roger Zimmermann:
VCA: An Energy-Efficient Voting-Based Clustering Algorithm for Sensor Networks.
87-109
Electronic Edition (link) BibTeX
- Nisar Hundewale, Sunsook Jung, Alexander Zelikovsky:
Energy Efficient Node Caching and Load Balancing Enhancement of Reactive Ad Hoc Routing Protocols.
110-132
Electronic Edition (link) BibTeX
Volume 13,
Number 2,
2007
- Ngoc Thanh Nguyen, Toyoaki Nishida:
Communicative Intelligence.
133-134
Electronic Edition (link) BibTeX
- Hidekazu Kubota, Satoshi Nomura, Yasuyuki Sumi, Toyoaki Nishida:
Sustainable Memory System Using Global and Conical Spaces.
135-148
Electronic Edition (link) BibTeX
- Rai Chan, Junichi Hoshino:
Building Immersive Conversation Environment Using Locomotive Interactive Character.
149-160
Electronic Edition (link) BibTeX
- Daisaku Arita, Rin-ichiro Taniguchi:
Real-time Human Proxy: An Avatar-based Communication System.
161-176
Electronic Edition (link) BibTeX
- Ken Saito, Hidekazu Kubota, Yasuyuki Sumi, Toyoaki Nishida:
Analysis of Conversation Quanta for Conversational Knowledge Circulation.
177-185
Electronic Edition (link) BibTeX
- Takanori Komatsu, Koji Morikawa:
Entrainment in the Rate of Utterances in Speech Dialogs between Users and an Auto Response System.
186-198
Electronic Edition (link) BibTeX
- Jerzy Swiatek:
Parameter Estimation of Systems Described by the Relation with Noisy Observations.
199-208
Electronic Edition (link) BibTeX
- Cesar Sanín, Edward Szczerbicki, Carlos Toro:
An OWL Ontology of Set of Experience Knowledge Structure.
209-223
Electronic Edition (link) BibTeX
- Iwan Tabakow:
Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems.
224-243
Electronic Edition (link) BibTeX
- Costin Badica, Maria Ganzha, Marcin Paprzycki:
Implementing Rule-Based Automated Price Negotiation in an Agent System.
244-266
Electronic Edition (link) BibTeX
- Mateusz Lenar, Janusz Sobecki:
Using Recommendation to Improve Negotiations in Agent-based Systems.
267-286
Electronic Edition (link) BibTeX
- Leszek Borzemski:
Internet Path Behavior Prediction via Data Mining: Conceptual Framework and Case Study.
287-316
Electronic Edition (link) BibTeX
- Marcin Hernes, Ngoc Thanh Nguyen:
Deriving Consensus for Hierarchical Incomplete Ordered Partitions and Coverings.
317-328
Electronic Edition (link) BibTeX
- Michal Zgrzywa:
Consensus Determining with Dependencies of Attributes with Interval Values.
329-344
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Rui Rodrigues, João M. P. Cardoso:
On Pipelining Sequences of Data-Dependent Loops.
419-439
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Volume 13,
Number 4,
2007
- Hermann A. Maurer:
Managing Editor's Column.
454-454
Electronic Edition (link) BibTeX
- Alkiviadis G. Akritas, Panagiotis S. Vigklas:
A Comparison of Various Methods for Computing Bounds for Positive Roots of Polynomials.
455-467
Electronic Edition (link) BibTeX
- Emanuele Covino, Giovanni Pani, Daniele Scrimieri:
Compile-time Computation of Polytime Functions.
468-478
Electronic Edition (link) BibTeX
- Zoran Djuric, Ognjen Maric, Dragan Gasevic:
Internet Payment System: A New Payment System for Internet Transactions.
479-503
Electronic Edition (link) BibTeX
- Denis Helic:
Formal Representations of Learning Scenarios: A Methodology to Configure E-Learning Systems.
504-531
Electronic Edition (link) BibTeX
- Narayanan Kulathuramaiyer:
Mashups: Emerging Application Development Paradigm for a Digital Journal.
531-542
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Milena Vujosevic-Janicic, Jelena Tomasevic, Predrag Janicic:
Random k-GD-Sat Model and its Phase Transition.
572-591
Electronic Edition (link) BibTeX
Volume 13,
Number 5,
2007
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
Electronic Edition (link) BibTeX
- Jacques Robin, Jairson Vitorino, Armin Wolf:
Constraint Programming Architectures: Review and a New Proposal.
701-720
Electronic Edition (link) BibTeX
- Leonardo Teixeira Passos, Mariza Andrade da Silva Bigonha, Roberto da Silva Bigonha:
A Methodology for Removing LALR(k) Conflicts.
737-752
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Thaís Vasconcelos Batista, Maurício Vieira:
RE-AspectLua - Achieving Reuse in AspectLua.
786-805
Electronic Edition (link) BibTeX
- Carlos Henrique Quartucci Forster:
Programming through Spreadsheets and Tabular Abstractions.
806-816
Electronic Edition (link) BibTeX
- Andrei de Araújo Formiga, Rafael Dueire Lins:
A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems.
817-829
Electronic Edition (link) BibTeX
- Rafael Dueire Lins, Francisco Heron de Carvalho Junior, Zanoni Dueire Lins:
Cyclic Reference Counting with Permanent Objects.
830-838
Electronic Edition (link) BibTeX
- Hisham Muhammad, Roberto Ierusalimschy:
C APIs in Extension and Extensible Languages.
839-853
Electronic Edition (link) BibTeX
- Nuno F. Rodrigues, Luís Soares Barbosa:
Higher-Order Lazy Functional Slicing.
854-873
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante:
Using Visitor Patterns in Object-Oriented Action Semantics.
891-919
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Daniel Burgos, Colin Tattersall, Martin Dougiamas, Hubert Vogten, Rob Koper:
A First Step Mapping IMS Learning Design and Moodle.
924-931
Electronic Edition (link) BibTeX
- Luis Panizo, Ramón-Ángel Fernández, Lidia Sánchez:
A WebQuest Framework to Improve the Study of Deadlock and Process Synchronization.
932-937
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Maria José Marcelino:
HME: a Handheld Model Editor for Educational Contexts.
1012-1021
Electronic Edition (link) BibTeX
- César A. Collazos, Luis A. Guerrero, José A. Pino, Sergio F. Ochoa, Gerry Stahl:
Designing Collaborative Learning Environments Using Digital Games.
1022-1032
Electronic Edition (link) BibTeX
- Raquel Morales, Patrick Carmichael:
Mapping Academic Collaboration Networks: Perspectives from the First Year of the Reusable Learning Objects CETL.
1033-1041
Electronic Edition (link) BibTeX
Volume 13,
Number 8,
2007
Volume 13,
Number 9,
2007
- Hermann A. Maurer:
Managing Editor's Column.
1136-1137
Electronic Edition (link) BibTeX
- Poulia Adamopoulou, Evangelos Sakkopoulos, Athanasios K. Tsakalidis, Miltiadis D. Lytras:
Web Service Selection based on QoS Knowledge Management.
1138-1156
Electronic Edition (link) BibTeX
- Sinuhé Arroyo:
Ontology and Grammar of the SOPHIE Choreography Conceptual Framework - An Ontological Model for Knowledge Management.
1157-1183
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Juan Manuel Dodero, Salvador Sánchez Alonso, Dirk Frosch-Wilke:
Generative Instructional Engineering of Competence Development Programmes.
1213-1233
Electronic Edition (link) BibTeX
- Muhammad Tanvir Afzal, Narayanan Kulathuramaiyer, Hermann A. Maurer:
Creating Links into the Future.
1234-1245
Electronic Edition (link) BibTeX
- Lihong Li, Vadim Bulitko, Russell Greiner:
Focus of Attention in Reinforcement Learning.
1246-1269
Electronic Edition (link) BibTeX
- Amber Settle, Chad Settle:
Distance Learning and Student Satisfaction in Java Programming Courses.
1270-1286
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Yasser Baleghi Damavandi, Karim Mohammadi:
Co-evolution for Communication: An EHW Approach.
1300-1308
Electronic Edition (link) BibTeX
- Hongbo Liu, Ajith Abraham:
An Hybrid Fuzzy Variable Neighborhood Particle Swarm Optimization Algorithm for Solving Quadratic Assignment Problems.
1309-1331
Electronic Edition (link) BibTeX
- Jili Tao, Ning Wang, Xuejun Wang:
Genetic Algorithm Based Recurrent Fuzzy Neural Network Modeling of Chemical Processes.
1332-1343
Electronic Edition (link) BibTeX
- Youren Wang, Zhiqiang Zhang, Jiang Cui:
The Architecture and Circuital Implementation Scheme of a New Cell Neural Network for Analog Signal Processing.
1344-1353
Electronic Edition (link) BibTeX
- Jin Yang, Tao Li, SunJun Liu, Tiefang Wang, Diangang Wang, Gang Liang:
Computer Forensics System Based on Artificial Immune Systems.
1354-1365
Electronic Edition (link) BibTeX
Volume 13,
Number 10,
2007
- Hermann A. Maurer:
Managing Editor's Column.
1366-13667
Electronic Edition (link) BibTeX
- Sanjit Chatterjee, Palash Sarkar:
Constant Size Ciphertext HIBE in the Augmented Selective-ID Model and its Extensions.
1367-1395
Electronic Edition (link) BibTeX
- Loïc Colson, David Michel:
Pedagogical Natural Deduction Systems: the Propositional Case.
1396-1410
Electronic Edition (link) BibTeX
- Spyros Sioutas, Kostas Tsichlas, Bill Vassiliadis, Dimitris K. Tsolis:
Efficient Access Methods for Temporal Interval Queries of Video Metadata.
1411-1433
Electronic Edition (link) BibTeX
- Gustavo Zurita, Pedro Antunes, Nelson Baloian, Felipe Baytelman:
Mobile Sensemaking: Exploring Proximity and Mobile Applications in the Classroom.
1434-1448
Electronic Edition (link) BibTeX
- Fangmin Dong, Renbin Xiao, Yifang Zhong, Yong Liu:
An Approach to Polygonal Approximation of Digital Curves Based on Discrete Particle Swarm Algorithm.
1449-1461
Electronic Edition (link) BibTeX
- Chaoyong Wang, Yanfeng Sun, Yanchun Liang:
An Improved SVM Based on Similarity Metric.
1462-1470
Electronic Edition (link) BibTeX
- Chunguo Wu, Maurizio Marchese, Jingqing Jiang, Alexander Ivanyukovich, Yanchun Liang:
Machine Learning-Based Keywords Extraction for Scientific Literature.
1471-1483
Electronic Edition (link) BibTeX
- Tao Zeng, Changjie Tang, Yong Xiang, Peng Chen, Yintian Liu:
A Model of Immune Gene Expression Programming for Rule Mining.
1484-1497 BibTeX
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
Electronic Edition (link) BibTeX
- Reid Andersen, Sebastian M. Cioaba:
Spectral Densest Subgraph and Independence Number of a Graph.
1501-1513
Electronic Edition (link) BibTeX
- Alexandru T. Balaban, Milan Randic:
Perfect Matchings in Polyhexes, or Recent Graph-theoretical Contributions to Benzenoids.
1514-1539
Electronic Edition (link) BibTeX
- Gabriel Ciobanu, Sergiu Rudeanu:
Equivalent Transformations of Automata by Using Behavioural Automata.
1540-1549
Electronic Edition (link) BibTeX
- Denisa Diaconescu, George Georgescu:
On the Forcing Semantics for Monoidal t-norm Based Logic.
1550-1572
Electronic Edition (link) BibTeX
- Robert W. Doran:
The Gray Code.
1573-1597
Electronic Edition (link) BibTeX
- Cezara Dragoi, Florin Manea, Victor Mitrana:
Accepting Networks of Evolutionary Processors with Filtered Connections.
1598-1614
Electronic Edition (link) BibTeX
- Adrian Dumitrescu, Csaba D. Tóth:
Analysis of two Sweep-line Algorithms for Constructing Spanning Trees and Steiner Trees.
1615-1627
Electronic Edition (link) BibTeX
- Afrodita Iorgulescu:
On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras.
1628-1654
Electronic Edition (link) BibTeX
- Gabriel Istrate:
Satisfying Assignments of Random Boolean Constraint Satisfaction Problems: Clusters and Overlaps.
1655-1670
Electronic Edition (link) BibTeX
- Audrey Lee, Ileana Streinu, Louis Theran:
Graded Sparse Graphs and Matroids.
1671-1679
Electronic Edition (link) BibTeX
- Laurentiu Leustean:
Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings.
1680-1691
Electronic Edition (link) BibTeX
- Vadim E. Levit, Eugen Mandrescu:
Matrices and alpha-Stable Bipartite Graphs.
1692-1706
Electronic Edition (link) BibTeX
- Gheorghe Paun:
Spiking Neural P Systems with Astrocyte-Like Control.
1707-1721
Electronic Edition (link) BibTeX
- Alexandru Popa, Alexandru Sofronia, Gheorghe Stefanescu:
High-level Structured Interactive Programs with Registers and Voices.
1722-1754
Electronic Edition (link) BibTeX
- Dragos Radu Popescu:
Balance in Systems of Finite Sets with Applications.
1755-1766
Electronic Edition (link) BibTeX
- Dragos Radu Popescu:
Balance in Systems of Finite Sets with Applications.
1755-1766
Electronic Edition (link) BibTeX
- Dan A. Simovici:
Metric-Entropy Pairs on Lattices.
1767-1767
Electronic Edition (link) BibTeX
- Monica Tataram:
Connectivity and Reachability in Signed Networks.
1779-1790
Electronic Edition (link) BibTeX
- Christina Zamfirescu, Tudor Zamfirescu:
Hamiltonicity of Topological Grid Graphs.
1791-1800
Electronic Edition (link) BibTeX
Volume 13,
Number 12,
2007
- Frederico Luiz Gonçalves de Freitas, Heiner Stuckenschmidt, Andreia Malucelli, Helena Sofia Pinto:
Ontologies and their Applications.
1801-1804
Electronic Edition (link) BibTeX
- Óscar Corcho, Asunción Gómez-Pérez:
ODEDialect: a Set of Declarative Languages for Implementing Ontology Translation Systems.
1805-1834
Electronic Edition (link) BibTeX
- Onni Valkeapää, Olli Alm, Eero Hyvönen:
An Adaptable Framework for Ontology-based Content Creation on the Semantic Web.
1835-1835
Electronic Edition (link) BibTeX
- Yannis Tzitzikas, Dimitris Kotzinos, Yannis Theoharis:
On Ranking RDF Schema Elements (and its Application in Visualization).
1854-1880
Electronic Edition (link) BibTeX
- Khaled Khelif, Rose Dieng-Kuntz, Pascal Barbry:
An Ontology-based Approach to Support Text Mining and Information Retrieval in the Biological Domain.
1881-1907
Electronic Edition (link) BibTeX
- Raquel Trillo, Jorge Gracia, Mauricio Espinoza, Eduardo Mena:
Discovering the Semantics of User Keywords.
1908-1935
Electronic Edition (link) BibTeX
- Domenico Beneventano, Sonia Bergamaschi, Francesco Guerra, Maurizio Vincini:
The SEWASIE Network of Mediator Agents for Semantic Search.
1936-1969
Electronic Edition (link) BibTeX
Volume 13,
Number 13,
2007
- Farhad Arbab, Marjan Sirjani:
Applications of Formal Methods to System Design and Verification.
1970-1971
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Lorenzo Capra, Walter Cazzola:
Self-Evolving Petri Nets.
2002-2034
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Hossein Hojjat, Hootan Nakhost, Marjan Sirjani:
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP).
2076-2104
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:12:24 2009
by Michael Ley (ley@uni-trier.de)