default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJ.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, Cédric 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 José 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 M. M. 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 - 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 Duric, 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 - 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 M. 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 D. 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 Díaz, Lidia Sánchez-González:
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é Manuel 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 E. T. Rodrigues, Rui 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 E. 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-1366 - 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 - 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 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
