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-Gómez, 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
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
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 L. 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
Last update Tue Feb 14 04:21:06 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
