Home | Computer Systems Science & Engineering | Engineering Intelligent Systems | Books
 
     
Aims and Scope
Subscriptions
   
Paper Submissions
Notes For Authors
   
Forthcoming Papers
Special Issues
   
Vol 25 2010
Vol 24 2009
Vol 23 2008
Vol 22 2007
Vol 21 2006
Vol 20 2005
Vol 19 2004
Vol 18 2003
   
Books for Review
   
   
   
   
   
   

Recent Special Issues

Special issue: Open Source Certification

Vol 25 No 4 July 2010

Editorial
Ernesto Damiani, Luis Barbosa, Peter T. Breuer and Claudio A. Ardagna

Certification of open-source software: A role for formal methods?
Luis S. Barbosa, Antonio Cerone, Alexander K. Petrenko and Siraj A. Shaikh

OpenHMI-tester: an open and cross-platform architecture for GUI testing and certification
Pedro Luis Mateo Navarro, Gregorio Martínez Pęrez and Diego Sevilla Ruiz

Trustworthiness of the FLOSS development process
Etiel Petrinja and Giancarlo Succi

Empirical analysis of the bug fixing process in open source projects
Chiara Francalanci and Francesco Merlo



Special issue: Mobile Data Management: Models, Methodologies and Services

Vol 24 No 3 May 2010

Editorial
Frank Morovan and Abdelkader Hameurlain

A new distributed grid scheme and k-NN query processing for mobile objects in spatial networks
Young-Chang Kim and Jae-Woo Chang

LookAhead continuous KNN mobile query processing
Geng Zhao, Kefeng Xuan, David Taniar and Bala Srinivasan

A motion-aware safe period-based framework for spatial alarm processing
Bhuvan Bamba, Ling Liu and Philip S. Yu

A hybrid ZigBee/Bluetooth approach to mobile semantic grids
Michele Ruta, Floriano Scioscia, Tommaso Di Noia and Eugenio Di Sciascio

Mobile multimedia management for Virtual Campfire – the German excellence research cluster UMIC
Yiwei Cao, Ralf Klamma and Matthias Jarke



Special issue: Advanced Topics on Grid, Cluster and P2P Computing
Keqin Li and Geyong Min

Vol 24 No 5 September 2009

Performance analysis and tuning for clusters with ccNUMA nodes for scientific coputing – a case study
Abdullah Kayi, Edward Kornkven, Tarek El-Ghazawi, Samy Al-Bazhra and Gregory B Newby

Exploiting object structure in hardware transactional memory
Behram Khan, Matthew Horsnell, Ian Rogers, Mikel Luján, Andrew Dinn and Ian Watson

Improving the capability of the SLA workflow broker with parallel processing technology
Dang Ming Quan, Jörn Altmann and Laurence T Yang

A parallel information retrieval method for e-commerce
Wenyu Qu, Wanlei Zhou and Masaru Kitsuregawa

A parallel shortest path algorithm based on graph-partitioning and iterative correcting
Yuxin Tang, Yunquan Zhang and Hu Chen

A secure and scalable video conference system based on peer-assisted content delivery networks
Hao Yin, ChangLai Du, Chao Ren, Zhijia Chen, Heyong Min
and Chuang Lin

Adjacency cache: an efficient P2P web cache indexing and lookup system
John Casey and Wanlei Zhou



Special issue: Network and Parallel Computing
Kequi Li, Yanming Shen and Minyi Guo

Vol 24 No 3 May 2009

An instruction folding solution for a Java processor
Tan Yiyu, Yau Chihang, Anthony S Fong and Yang Xiaojian

Restoration design in IP over reconfigurable WDM networks
Angela L Chiu, Gagan Choudhury, Robert Doverspike and Guangzhi Li

Propagation of active worms: A survey
Yang Xiang, Xiang Fan and Wen Tao Zhu

A novel data transmission scheme for mobile sensor network
Liu Weidong, Lin Chuang and Wang Jirong

An optimal lifetime-adaptive method for wireless sensor networks
Wenyu Qu, Masaru Kitsuregawa, Yanming Shen and Takashi Nanya

Approximation algorithms for inner-node weighted minimum
spanning trees
Chao Peng, Yasuo Tan, Naixue Xiong, Laurence T Yang and Hong Zhu

A context quality management infrastructure for complex ubiquitous environment
Siliang Tang, Jianhua Yang and Zhaohui Wu

On the design of P2P video streaming with layered coding
Yanming Shen and Kequi Li



Special issue: Engineering Fault Tolerant Systems
Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione and Alexander Romanovsky

Vol 23 No 5 September 2008

On the development of standards based carrier grade platforms
Francis Tam

Model driven development of railway systems using diversity
Michele Banci, Stefania Gnesi, Alessandro Fantechi and Giovanni Lombardi

Deploying fault tolerant web service compositions
Nuno Laranjeiro and Marco Vieira

Formal analysis of BPEL workflows with compensation by model checking
Máté Kovács, Dániel Varró and László Gönczy



Network Attacks and Defense Systems
Wanlei Zhou, Yang Xiang and Minyi Guo

Vol 23 No 3 May 2008

A secure mutual authentication scheme with key agreement using smart card from bilinear pairings
Duc-Liem Vo and Kwangjo Kim

A hybrid model against TCP SYN and reflection DDoS attacks
Udaya Kiran Tupakula and Vijay Varadharajan

A cross-authentication model and implementation
Zhongwen Li, Qiong Chen and Yang Xiang

Variable-length signatures for intrusion detection
Zhuowei Li, Amitabha Das, Jianying Zhou and Jagdish C Patra

Request-driven role mapping framework for secure interoperation in multi-domain environments
Ruixuan Li, Zhuo Tang, Zhengding Lu and Jinwei Hu

Anomaly detection for web server based on smooth support vector machine
Shi-Jinn Horng, Pingzhi Fan, Ming-Yang Su, Yuan-Hsin Chen, Cheng-Ling Lee and Shao-Wei Lan

EV-C2C-PAKE: An improved client-to-client password-authenticated key exchange protocol
Zhu Hongfeng, Liu Tianhua and Liu Jie



Data Management in Grid and P2P Systems

Vol 23 No 2 March 2008

Editorial
Abdelkader Hameurlain

PARIS: A peer-to-peer architecture for large-scale semantic data sharing
C Comito, S Patarin and D Talia

Answering XPath queries with search predicates in structured P2P networks
W He and L Fegaras

PWSMS: A Peer-to-peer web service management system for data sharing in collaborative environments
M Barhamgi, D Benslimane and A M Ouksel

Integrating and querying astronomical data on the e-GrOV data grid
G Vargas-Solar, J-L Zechinelli-Martini and V Cuevas-Vicenttín

Priority based list scheduling for sabotage-tolerance with deadline tasks in desktop grids
H-S Kim, C-S Hwang, S-K Lee, S-J Choi and J-M Gil



 TrustBus 2006

Vol 22 No 5 September 2007

Editorial
Simone Fischer-Hübner, Steven Furnell and Costas Lambrinoudakis

Building the information assurance community of purpose
Jeremy Ward

Towards a person-centric identity management infrastructure (IMI)
V. Poursalidis and C. Nikolaou

On the effects of authentication and authorisation infrastructures on e-commerce activities
Christian Schläger and Thomas Nowey

Cluster-based analysis and recommendation of sellers in online auctions
Mikolaj Morzy

A framework for modelling restricted delegation of rights in the SECTET
Muhammad Alam, Michael Hafner, Ruth Breu and Stefan Untherthiner

An MDA appproach to develop secure business processes through a UML 2.0 extension
Alfonso Rodríguez, Eduardo Fernández-Medina and Mario Piattini




Real time software architecture

Vol 22 No 3 May 2007

Editorial
Doohyun Kim and Arif Ghafoor

Design and implementation of a high performance architecture for providing digital time stamping services to mobile devices
A Cilardo, D Cotroneo, C di Flora, A Mazzeo, L Romano and S Russo

A cluster-based TMO-structured scalable approach for location information systems
Y Nah, K H (Kane) Kim, T Wang and M H Kim

Parallel transmission model for real-time multi-source streaming of multimedia data in scalable networks
S Itaya and M Takizawa

Time-triggered and message-triggered object framework and global time-based synchronization for real-time multimedia streaming
M H Kim, E H Jo, D-J Kim and J-G Kim

A dynamically reconfigurable Voice User Interace (VUI) framework and platform
A Talevski, E Chang and T S Dillon

Software infrastructures for building ubiquitous computing environments
T Nakajima, E Tokunaga, H Ishikawa, D Ueno, K Fujinami, M Sugaya and S Oikawa

A QoS framework for multimedia applications in mobile ad hoc networks
W Sheikh, B Shafiq, S Baqai, R A Paul, M F Khan and H Ghafoor




Hippocratic XML databases: a model and an access control mechanism

Vol 21 No 6 November 2006

Editorial
Jae-Gil Lee, Kyu-Young Whang, Wook-Shin Han and Il-Yeol Song

The impact of skewed associativity on the replacement traffic in COMA multiprocessors
Behrouz Zolfaghari and Mohsen Sharifi

Generic parallel implementations for Tabu search
Maria J Blesa, Jordi Petit and Fatos Xhafa




Web Service Security

Vol 21 No 5 September 2006

Applying hierarchical and role-based access control to XML documents
Jason Crampton

A semantics based approach to privacy languages
N Li, T Yu and A Antón

A logical formalization of secure XML database
Alban Gabillon

uSMIL: Towards secure unbreakable semantics in multimedia web services
N Kodali, C Farkas and D Wijesekera

Trust but verify: Authorization for web services
C Skalka and X Sean Wang




Engineering Design and Composition of Service-oriented Applications

Vol 21 No 4 July 2006

Guest editorial J-Y Chung, G Feuerlicht, W Lamersdorf and C Zirpins

An ontology for quality-aware service discovery
S Bleul, T Weise and K Geihs

Adaptive service-oriented systems: an organisational approach
A Colman and J Han

A genetiv programming approach to support the design of service compositions
L Aversano, M di Penta and K Taneja

Service discovery through consensus based preferences
C-L Huang, K-M Chao, C-C Lo, P Wang and J-Y Chung

Service design principles: a case study in modeling services for the securities trading domain
A Erradi, N Kulkarni and S Anand

Method for detecting functional feature of interactions of web services
M Weiss, A Oreshkin and B Esfandiari

Reliable service composition by adopting assumptions
Z Lu, S Li, P Hyland and A. Ghose

Using graph grammars for interaction style description: applications for service-oriented architectures
K Guennoun and K Drira




Software Engineering for Multi-Agent Systems

Vol 21 No 2 March 2006

Guest editors: Alessandro Garcia and Carlos Lucena

Integrating social modelling and agent interaction through goal-oriented analysis
Iyad Rahwan, Thomas Juan and Leon Sterling

A methodology for the development of multi-agent systems using the JADE platform
Magid Nikraz, Giovanni Caire and Parisa A Bahri

A methodological framework for ontology centric oriented software engineering
Quynh-Nhu Numi Tran, Graham Low and Ghassan Beydoun

Agile PASSI: An agile process for designing agents
Antonio Chella, Massimo Cossentino, Luca Sabatucci and Valeria Seidita

Agent-oriented architecture for monitoring and diagnosis in supervisory systems
Fabiano K T Tiba and Miriam A M Capretz

A bimonthly research journal devoted to theoretical developments in computer systems science and their applications in computer systems engineering.

Editor-in-Chief
Prof. Tharam Dillon

Curtin University of Technology, Australia

ISSN 0267 6192

5 Weir Road, Kibworth Beauchamp, Leicester LE8 0LQ | Tel: +44 116 279 2299 | Fax: +44 116 279 2277
E-mail: admin@crlpublishing.co.uk