Volume 54, Number 1, January 2011
Section A - Special Focus on:
BCS08 Visions of Computer Science Conference Papers
- Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y. K. Cheung:
Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organization.
1-10

- Mark S. Nixon, Xin U. Liu, Cem Direkoglu, David J. Hurley:
On Using Physical Analogies for Feature and Shape Extraction in Computer Vision.
11-25

- Stefan S. Dantchev:
Dynamic Neighbourhood Cellular Automata.
26-30

- Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema:
Modal Logics are Coalgebraic.
31-41

- Glynn Winskel:
Events, Causality and Symmetry.
42-57

- Andreas Bauer, Jan Jürjens, Yijun Yu:
Run-Time Security Traceability for Evolving Systems.
58-87

Original Articles
- Kohei Honda, Nobuko Yoshida:
A Unified Theory of Program Logics: An Approach based on the π-Calculus.
88-107

- Heewan Park, Hyun-il Lim, Seokwoo Choi, Taisook Han:
Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark.
108-124

- Sebastián Basterrech, Samir Mohamed, Gerardo Rubino, Mostafa Soliman:
Levenberg - Marquardt Training Algorithms for Random Neural Networks.
125-135

- David Hartley:
EDSAC at 60 - A Celebration of 60 Years Since the First Program Ran on the EDSAC at Cambridge.
136-138

- David Barron:
EDSAC: A Programmer Remembers.
139-142

- Doron Swade:
Inventing the User: EDSAC in Context.
143-147

- Davide Cavagnino, Albert Werbrouck:
An Analysis of Associated Dividends in the DBM Algorithm for Division by Constants Using Multiplication.
148-156

- GuanJun Liu, Changjun Jiang, Daniel Y. Chao:
A Necessary and Sufficient Condition for the Liveness of Normal Nets.
157-163

- Jing Dong, Tu Peng, Yajing Zhao:
On Instantiation and Integration Commutability of Design Pattern.
164-184

Volume 54, Number 2, February 2011
Section B - Capsule Reviews
Obituary
- Antonio Manzalini, Peter H. Deussen, S. Nechifor, Marco Mamei, Roberto Minerva, Corrado Moiso, A. Salden, T. Wauters, Franco Zambonelli:
Self-optimized Cognitive Network of Networks.
189-196

- Yosi Ben-Asher, Sharoni Feldman, Moran Feldman:
Dynamic Multipath Allocation in Ad Hoc Networks.
197-212

- Giuseppe Anastasi, Eleonora Borgia, Marco Conti, Enrico Gregori:
A Hybrid Adaptive Protocol for Reliable Data Delivery in WSNs with Multiple Mobile Sinks.
213-229

- Oliviu Ghica, Goce Trajcevski, Peter Scheuermann, Nikolay Valtchanov, Zachary S. Bischof:
Controlled Multi-Path Routing in Sensor Networks Using Bezier Curves.
230-254

- Jywe-Fei Fang:
The Edge-Fault-Tolerant Bipancyclicity of the Even k-ary n-cube.
255-262

- David Nicholson:
Defence Applications of Agent-Based Information Fusion.
263-273

- Thu-Ha Dao-Thi, Jean-Michel Fourneau, Minh-Anh Tran:
Multiple Class Symmetric G-networks with Phase Type Service Times.
274-284

- Lucas Vespa, Ning Weng, Ramaswamy Ramaswamy:
MS-DFA: Multiple-Stride Pattern Matching for Scalable Deep Packet Inspection.
285-303

Book Review
- Mihaela Ulieru:
WIRED for Innovation: How Information Technology is Reshaping the Economy.
304-305

Volume 54, Number 3, March 2011
Section C - Editorial
- A. Rogers:
Agent Technologies for Sensor Networks.
307-308

Original Articles
- Ettore Ferranti, Niki Trigoni:
Practical Issues in Deploying Mobile Agents to Explore a Sensor-Instrumented Environment.
309-320

- Dirk Bade, Winfried Lamersdorf:
An Agent-Based Event Processing Middleware for Sensor Networks and RFID Systems.
321-331

- Damla Turgut, Ladislau Bölöni:
Heuristic Approaches for Transmission Scheduling in Sensor Networks with Multiple Mobile Sinks.
332-344

- Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden:
Group Migration by Mobile Agents in Wireless Sensor Networks.
345-355

- Murat Sensoy, Thao P. Le, Wamberto Weber Vasconcelos, Timothy J. Norman, Alun D. Preece:
Resource Determination and Allocation in Sensor Networks: A Hybrid Approach.
356-372

- Sherine Abdelhak, Rabi S. Chaudhuri, Chandra Sekhar Gurram, Soumik Ghosh, Magdy Bayoumi:
Energy-Aware Distributed QR Decomposition on Wireless Sensor Nodes.
373-391

- Daniel D. Corkill:
Deploying Power-Aware, Wireless Sensor Agents.
392-405

- Edison Pignaton de Freitas, Tales Heimfarth, Carlos Eduardo Pereira, Armando Morado Ferreira, Flávio Rech Wagner, Tony Larsson:
Multi-Agent Support in a Middleware for Mission-Driven Heterogeneous Sensor Networks.
406-420

- Andrew Markham, Niki Trigoni:
The Automatic Evolution of Distributed Controllers to Configure Sensor Network Operation.
421-438

- Francesco Aiello, Giancarlo Fortino, Raffaele Gravina, Antonio Guerrieri:
A Java-Based Agent Platform for Programming Wireless Sensor Networks.
439-454

- Meritxell Vinyals, Juan A. Rodríguez-Aguilar, Jesús Cerquides:
A Survey on Sensor Networks from a Multiagent Perspective.
455-470

- Antony Waldock, David Nicholson:
A Framework for Cooperative Control Applied to a Distributed Sensor Network.
471-481

- Partha Mukherjee, Sandip Sen:
Comparing Reputation Schemes for Detecting Malicious Nodes in Sensor Networks.
482-489

- Richard Tynan, Conor Muldoon, Gregory M. P. O'Hare, Michael J. O'Grady:
Coordinated Intelligent Power Management and the Heterogeneous Sensing Coverage Problem.
490-502

Volume 54, Number 4, April 2011
Section D - Capsule Reviews
Original Articles
- Zuowen Tan:
An Off-line Electronic Cash Scheme Based on Proxy Blind Signature.
505-512

- Fuchun Guo, Yi Mu, Willy Susilo:
Short Signatures with a Tighter Security Reduction Without Random Oracles.
513-524

- Qiong Huang, Duncan S. Wong, Guomin Yang:
Heterogeneous Signcryption with Key Privacy.
525-536

- Mehran S. Fallah, Maryam Mouzarani:
A Game-based Sybil-resistant Strategy for Reputation Systems in Self-organizing MANETs.
537-548

- Biming Tian, Song Han, Sazia Parvin, Jiankun Hu, Sajal K. Das:
Self-Healing Key Distribution Schemes for Wireless Networks: A Survey.
549-569

- Prasanta Gogoi, D. K. Bhattacharyya, Bhogeswar Borah, Jugal K. Kalita:
A Survey of Outlier Detection Methods in Network Anomaly Identification.
570-588

- Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks.
589-601

- Murat Ergun, Albert Levi, Erkay Savas:
Increasing Resiliency in Multi-phase Wireless Sensor Networks: Generationwise Key Predistribution Approach.
602-616

Special Focus on Multimedia Security and Privacy (MSP)
Volume 54, Number 5, May 2011
Section A - Capsule Reviews
Special Focus on Performance Evaluation Methods and Applications
Original Articles
- Mehmet Serkan Apaydin, Bülent Çatay, Nicholas Patrick, Bruce Randall Donald:
NVR-BIP: Nuclear Vector Replacement using Binary Integer Programming for NMR Structure-Based Assignments.
708-716

- Ender Sevinç, Ahmet Cosar:
An Evolutionary Genetic Algorithm for Optimization of Distributed Database Queries.
717-725

- Hamid Sarbazi-Azad, Ahmad Khonsari, Mohamed Ould-Khaoua:
On the Topological Properties of Grid-Based Interconnection Networks: Surface Area and Volume of Radial Spheres.
726-737

- Rifat Benveniste, Cem Ünsalan:
A Color Invariant for Line Stripe-Based Range Scanners.
738-753

- Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri:
Safety, Dependability and Performance Analysis of Extended AADL Models.
754-775

- James F. Korsh:
Fast Generation of t-ary Trees.
776-785

- Ramon Bertran, Marc González, Xavier Martorell, Nacho Navarro, Eduard Ayguadé:
Local Memory Design Space Exploration for High-Performance Computing.
786-799

- Murat Ali Bayir, Murat Demirbas, Ahmet Cosar:
A Web-Based Personalized Mobility Service for Smartphone Applications.
800-814

- Minhaj Ahmad Khan:
Data Cache Prefetching With Dynamic Adaptation.
815-823

- Yen-Ju Chen, Jia Jie Liu, Yue-Li Wang:
An Optimal Rotation Distance Set.
824-830

Book Review
- Mark Levene:
Search Engines: Information Retrieval in Practice.
831-832

Volume 54, Number 6, June 2011
Section B - Capsule Reviews
Special Focus on Performance Modelling and Analysis of Computer and Telecommunication Systems
Original Articles
- Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen:
Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems.
894-904

- Qiang Li, Qinfen Hao, Limin Xiao, Zhoujun Li:
An Integrated Approach to Automatic Management of Virtualized Resources in Cloud Environments.
905-919

- Yonghong Xiang, Iain A. Stewart:
A Multipath Analysis of Biswapped Networks.
920-930

- Kalika Suksomboon, Panita Pongpaibool, Yusheng Ji, Chaodit Aswakul:
PC-Nash: QoS Provisioning Framework With Path-Classification Scheme Under Nash Equilibrium.
931-943

- Mustafa K. Gurcan, Hadhrami Ab. Ghani, Jihai Zhou, Anusorn Chungtragarn:
Bit Energy Consumption Minimization for Multi-path Routing in Ad Hoc Networks.
944-959

- Stephen A. Jarvis:
UK Performance Engineering Workshop 2010.
960-961

- Jie Yu, Zhoujun Li, Peng Xiao, Chengfang Fang, Jia Xu, Ee-Chien Chang:
ID Repetition in Structured P2P Networks.
962-975

- Guangyan Huang, Yanchun Zhang, Jing He, Jinli Cao:
Fault Tolerance in Data Gathering Wireless Sensor Networks.
976-987

- A. Sinan Akyurek, Elif Uysal-Biyikoglu:
A Depth-optimal Low-complexity Distributed Wireless Multicast Algorithm.
988-1003

Volume 54, Number 7, July 2011
Section A - Capsule Reviews
Original Articles
- Alex W. Stedmon, Benjamin Hasseldine, David Rice, Mark Young, Steve Markham, Michael Hancox, Edward Brickell, Joanna Noble:
'MotorcycleSim': An Evaluation of Rider Interaction with an Innovative Motorcycle Simulator.
1010-1025

- Petr Hnetynka, Liam Murphy, John Murphy:
Comparing the Service Component Architecture and Fractal Component Model.
1026-1037

- Tatjana Kapus:
Closing a System in the Dynamic Input/Output Automata Model.
1038-1048

- Ahmad Taherkhani, Ari Korhonen, Lauri Malmi:
Recognizing Algorithms Using Language Constructs, Software Metrics and Roles of Variables: An Experiment with Sorting Algorithms.
1049-1066

- Paul E. Dunne:
On Constructing Minimal Formulae.
1067-1075

- Alessandro Basso, Davide Cavagnino, Victor Pomponiu, Annamaria Vernone:
Blind Watermarking of Color Images Using Karhunen-Loève Transform Keying.
1076-1090

- Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jan Paredaens:
A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form and Minimization.
1091-1118

- Harold W. Thimbleby:
Signposting in Documents.
1119-1135

- Chuen-Horng Lin, Wei-Chih Lin:
Image Retrieval System Based on Adaptive Color Histogram and Texture Features.
1136-1147

- David Pinto, Paolo Rosso, Héctor Jiménez-Salazar:
A Self-enriching Methodology for Clustering Narrow Domain Short Texts.
1148-1165

- Sven Hartmann, Uwe Leck, Sebastian Link:
On Codd Families of Keys over Incomplete Relations.
1166-1180

- Tetsu Narumi, Kenji Yasuoka, Makoto Taiji, Francesco Zerbetto, Siegfried Höfinger:
Fast Calculation of Electrostatic Potentials on the GPU or the ASIC MD-GRAPE-3.
1181-1187

- Alexandre R. J. François:
An Architectural Framework for the Design, Analysis and Implementation of Interactive Systems.
1188-1204

- Yulai Xie:
Some Results on Minimum Discrete Bending Energy Path in Simple Polygon.
1205-1210

- Jia Lee, Susumu Adachi, Ferdinand Peper:
A Partitioned Cellular Automaton Approach for Efficient Implementation of Asynchronous Circuits.
1211-1220

- Medeni Soysal, A. Aydin Alatan:
Joint Utilization of Appearance, Geometry and Chance for Scene Logo Retrieval.
1221-1231

Volume 54, Number 8, August 2011
Section B - Capsule Reviews
Original Articles
- Constandinos X. Mavromoustakis, Helen D. Karatza:
Embedded Socio-oriented Model for End-to-End Reliable Stream Schedules by Using Collaborative Outsourcing in MP2P Systems.
1235-1247

- Amirhosein Taherkordi, Frédéric Loiret, Romain Rouvoy, Frank Eliassen:
A Generic Component-Based Approach for Programming, Composing and Tuning Sensor Software.
1248-1266

- In Hwan Doh, Jongmoo Choi, Donghee Lee, Sam H. Noh:
An Empirical Study of Deploying Storage Class Memory into the I/O Path of Portable Systems.
1267-1281

- José Luis March, Julio Sahuquillo, Houcine Hassan, Salvador Petit, José Duato:
A New Energy-Aware Dynamic Task Set Partitioning Algorithm for Soft and Hard Embedded Real-Time Systems.
1282-1294

- Ali Ahmadinia, Alireza Shahrabi:
A Highly Adaptive and Efficient Router Architecture for Network-on-Chip.
1295-1307

- MinSeong Kim, Andy J. Wellings:
Multiprocessors and Asynchronous Event Handling in the Real-Time Specification for Java.
1308-1324

- Mohamed F. Mokbel, Robert D. Kent, Michael Wong:
An Abstract Semantically Rich Compiler Collocative and Interpretative Model for OpenMP Programs.
1325-1343

- Tiziana Calamoneri:
The L(h, k)-Labelling Problem: An Updated Survey and Annotated Bibliography.
1344-1371

- Antoine Bossard, Keiichi Kaneko, Shietung Peng:
A New Node-to-Set Disjoint-Path Algorithm in Perfect Hierarchical Hypercubes.
1372-1381

- Eun-Chan Park, Minjoong Rim:
Fair Coexistence MAC Protocol for Contention-Based Heterogeneous Networks.
1382-1397

- Onur Yilmaz, Orhan Dagdeviren, Kayhan Erciyes:
Interference-Aware Dynamic Algorithms for Energy-Efficient Topology Control in Wireless Ad Hoc and Sensor Networks.
1398-1411

Volume 54, Number 9, September 2011
Section C - Capsule Reviews
Special Focus on Swarm Computing and Intelligence
- Shuo Xu, Fan Yu, Zhe Luo, Ze Ji, Duc Truong Pham, Renxi Qiu:
Adaptive Bees Algorithm - Bioinspiration from Honeybee Foraging to Optimize Fuel Economy of a Semi-Track Air-Cushion Vehicle.
1416-1426

- Hugo Hernández, Christian Blum:
Foundations of Antcycle: Self-synchronized Duty-cycling in Mobile Sensor Networks.
1427-1448

- Wei-Po Lee, Yu-Ting Hsiao:
An Adaptive GA - PSO Approach with Gene Clustering to Infer S-system Models of Gene Regulatory Networks.
1449-1464

- Hongxing Wei, Youdong Chen, Miao Liu, Yingpeng Cai, Tianmiao Wang:
Swarm Robots: From Self-assembly to Locomotion.
1465-1474

Original Articles
Book Review
- Mark Levene:
Chess Metaphors, Artificial Intelligence and the Human Mind.
1560

Volume 54, Number 10, October 2011
Section C - Capsule Reviews
Original Articles
- Monowar H. Bhuyan, D. K. Bhattacharyya, Jugal K. Kalita:
Surveying Port Scans and Their Detection Methodologies.
1565-1581

- Duc-Phong Le, Chao-Liang Liu:
Refinements of Miller's Algorithm over Weierstrass Curves Revisited.
1582-1591

- Salih Ergün:
A Truly Random Number Generator Based on a Pulse-Excited Cross-Coupled Chaotic Oscillator.
1592-1602

- Ruben Rios, Javier Lopez:
Exploiting Context-Awareness to Enhance Source-Location Privacy in Wireless Sensor Networks.
1603-1615

- Hossein Homaei, Hamid Reza Shahriari:
Compositional Approach to Quantify the Vulnerability of Computer Systems.
1616-1631

- Kai Xi, Yan Tang, Jiankun Hu:
Correlation Keystroke Verification Scheme for User Access Control in Cloud Computing Environment.
1632-1644

- Yong Yu, Yi Mu, Guilin Wang, Ying Sun:
Cryptanalysis of an Off-Line Electronic Cash Scheme Based on Proxy Blind Signature.
1645-1651

- Hassan Jameel Asghar, Josef Pieprzyk, Huaxiong Wang:
On the Hardness of the Sum of k Mins Problem.
1652-1660

- Jun Zhang, Yang Xiang, Wanlei Zhou, Lei Ye, Yi Mu:
Secure Image Retrieval Based on Visual Content and Watermarking Protocol.
1661-1674

- Lan Zhou, Vijay Varadharajan, Michael Hitchens:
Enforcing Role-Based Access Control for Secure Data Storage in the Cloud.
1675-1687

- Lein Harn, Chia-Yin Lee, Changlu Lin, Chin-Chen Chang:
Fully Deniable Message Authentication Protocols Preserving Confidentiality.
1688-1699

- Yini Wang, Sheng Wen, Silvio Cesare, Wanlei Zhou, Yang Xiang:
The Microcosmic Model of Worm Propagation.
1700-1720

- Erika Rosas, Olivier Marin, Xavier Bonnaire:
CORPS: Building a Community of Reputable PeerS in Distributed Hash Tables.
1721-1735

Volume 54, Number 11, November 2011
Section A - Capsule Reviews
Original Articles
- Chenfeng Xu, Hongsheng Xi, Fengguang Wu:
Evaluation and Optimization of Kernel File Readaheads Based on Markov Decision Models.
1741-1755

- Edgar G. Daylight:
Dijkstra's Rallying Cry for Generalization: The Advent of the Recursive Procedure, Late 1950s-Early 1960s.
1756-1772

- Mitzi McCarthy, Zhen He:
Efficient Updates for OLAP Range Queries on Flash Memory.
1773-1789

- Tien Van Do:
Comparison of Allocation Schemes for Virtual Machines in Energy-Aware Server Farms.
1790-1797

- Amir Kaivani, Ghassem Jaberipur:
Decimal CORDIC Rotation based on Selection by Rounding: Algorithm and Architecture.
1798-1809

- Cagatay Turkay, Emre Koc, Selim Balcisoy:
Integrating Information Theory in Agent-Based Crowd Simulation Behavior Models.
1810-1820

- Gabriel Rodríguez, María J. Martín, Patricia González, Juan Touriño:
Analysis of Performance-impacting Factors on Checkpointing Frameworks: The CPPC Case Study.
1821-1837

- Jia Jie Liu, William Chung-Kung Yen, Yen-Ju Chen:
An Optimal Algorithm for Untangling Binary Trees via Rotations.
1838-1844

- Ahmad Taherkhani:
Using Decision Tree Classifiers in Source Code Analysis to Recognize Algorithms: An Experiment with Sorting Algorithms.
1845-1860

- Francisco Vázquez, Ester M. Garzón, José-Jesús Fernández:
Matrix Implementation of Simultaneous Iterative Reconstruction Technique (SIRT) on GPUs.
1861-1868

- Tiziana Calamoneri:
The L(2, 1)-Labeling Problem on Oriented Regular Grids.
1869-1875

- Ionut Popa:
SE-Compression: A Generalization of Dictionary-Based Compression.
1876-1881

- Yang Liu, Zhen He, Yi-Ping Phoebe Chen, Thi Nguyen:
External Sorting on Flash Memory Via Natural Page Run Generation.
1882-1990

- Francisco Ortin:
Type Inference to Optimize a Hybrid Statically and Dynamically Typed Language.
1901-1924

Volume 54, Number 12, November 2011
Section B - Capsule Reviews
Special Focus on Mobility in Wireless Sensor Networks
- Damianos Gavalas, Grammati E. Pantziou, Charalampos Konstantopoulos:
Mobility in Wireless Sensor Networks.
1928-1930

- Roland Kays, Sameer Tilak, Margaret Crofoot, Tony Fountain, Daniel Obando, Alejandro Ortega, Franz Kuemmeth, Jamie Mandel, George Swenson, Thomas Lambert, Ben Hirsch, Martin Wikelski:
Tracking Animal Location and Activity with an Automated Radio Telemetry System in a Tropical Rainforest.
1931-1948

- Giuseppe Cardone, Antonio Corradi, Luca Foschini:
Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks.
1949-1962

- Mahdi Zareei, Alireza Taghizadeh, Rahmat Budiarto, Tat Chee Wan:
EMS-MAC: Energy Efficient Contention-Based Medium Access Control Protocol for Mobile Sensor Networks.
1963-1972

- Olof Rensfelt, Frederik Hermans, Per Gunningberg, Lars-Åke Larzon, Erik Björnemo:
Repeatable Experiments with Mobile Nodes in a Relocatable WSN Testbed.
1973-1986

- M. Emre Keskin, I. Kuban Altinel, Necati Aras, Cem Ersoy:
Lifetime Maximization in Wireless Sensor Networks Using a Mobile Sink with Nonzero Traveling Time.
1987-1999

Original Articles
Last update Sat May 18 20:09:24 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page