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
|