13-5

5500

/ M

LEA

0233

6X

Computer Science

Read Free Sample Issues and More At:wileyonlinelibrary.com/subject/computerscience

Access leading research from Wiley’s Computer Science Journals

Concurrencyand ComputationPractice and Experience

CONTENTS Volume 25 Number 7 May 2013

The problem of upload competition in peer-to-peer systems with incentive mechanismsM. Meulpolder, L. E. Meester and D. H. J. Epema . . . . . . . . . . . . . . . . . . . . . 899

Performance metrics and auditing framework using application kernels for high-performance computer systemsT. R. Furlani, M. D. Jones, S. M. Gallo, A. E. Bruno, C.-D. Lu, A. Ghadersohi, R. J. Gentner, A. Patra, R. L. DeLeon, G. von Laszewski, F. Wang and A. Zimmerman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 918

Dynamic branch speculation in a speculative parallelization architecture for computer clustersJ. Puiggali, B. K. Szymanski, T. Jové and J. L. Marzo . . . . . . . . . . . . . . . . . . . 932

Semantic Web Service matchmakers: state of the art and challengesH. Dong, F. K. Hussain and E. Chang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 961

High-level specifications for automatically generating parallel codeA. Acosta, F. Almeida and I. Peláez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 989

CO

NC

UR

REN

CY A

ND

CO

MP

UTATIO

N

PRAC

TICE and E

XPERIEN

CE

VO

LUM

E 25, N

o. 7 pp. 899 – 1012

S

May 2013

4.8

Volume 25/Issue 7/May 2013 ISSN 1532-0626

EditorsProfessor Geoffrey C. FoxProfessor David W. Walker

Concurrencyand ComputationPractice and Experience

wileyonlinelibrary.com/journal/cpe

Connect with Us

Top Articles in Computer Science:

Wiley Engineering@WileyCompSci

Introduction of a process maturity model for market-driven product management and requirements engineering, Vol 24:1Journal of Software: Evolution and Process

Development of a Matlab/Simulink®-based wind turbine prototyping software through undergraduate student projects, Vol 20:1Computer Applications in Engineering Education

A study of irreducibility in C programs, Vol 42:1Software: Practice and Experience

Efficient and validated simulation of crowds for an evacuation assistant. Vol 23:1Computer Animation & Virtual Worlds

A case study in model-based testing of specifications and implementations, Vol 22:1 Software Testing, Verification and Reliability

The State of the Art in Interactive Global Illumination, Vol 31:1Computer Graphics Forum

Multi-GPU algorithm for k-nearest neighbor problem, Vol 24:1Concurrency and Computation: Practice and Experience

Comparing Ant Colony Optimization and Genetic Algorithm Approaches for Solving Traffic Signal Coordination under Oversaturation Conditions, Vol 27:1 Computer-Aided Civil and Infrastructure Engineering

6.6

Volume 25/Issue 5/May 2013 ISSN 2047-7473

Evolution and ProcessSoftware:

wileyonlinelibrary.com/journal/softwaremaintenance

EditorsGerardo CanforaDarren DalcherDavid Raffo

Journal ofCONTENTS Volume 25 Number 5 May 2013

for update

Evolution and ProcessSoftware:Journal of

JOU

RNA

L OF SO

FTWA

RE: EVOLU

TION

AN

D PRO

CESSVO

LUM

E 25, No. 5

pp. 407–568 A

PRIL 2013

EditorialIndustrial experiences with software process assessment and improvement: (Special

Issue with Selected Industrial Experience Papers of EuroSPI2 2010) M. Biró, R. Messnarz and R. C. Palacios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 325

IT-supported innovation management in the automotive supplier industry to drive idea generation and leverage innovationM. Neumann, A. Riel and D. Brissaud . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 329

Improving safety and availability of complex systems by using an integrated design approach in developmentV. Bachmann and R. Messnarz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 341

Contextualizing agile software developmentP. Kruchten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 351

A lightweight traceability assessment method for medical device softwareV. Casey and F. Mc Caffery . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363

Automotive and medical: can we learn from each other?A. Kramer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373

The people aspects in modern process improvement management approachesM. Korsaa, J. Johansen, T. Schweigert, D. Vohwinkel, R. Messnarz, R. Nevalainenand M. Biró . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 381

A framework for evaluation and control of the factors that influence the software process improvement in small organizationsI. E. Espinosa-Curiel, J. Rodríguez-Jacobo and J. A. Fernández-Zepeda . . . . . . . . . . . . . . . 393

Special Issue with Selected Industrial Experience Papers of EuroSPI 2010

Guest Editors: Miklós Biró, Richard Messnarz and Ricardo Colomo Palacios

Software: Practice and Experience

VOLU

ME 4

3, N

o. 6

pp. 61

3–7

42

JU

NE 2

01

3

CONTENTS Volume 43 Number 6 June 2013

4.8

Research ArticlesInteroperable domain-specifi c languages families for code generation

M. Malohlava, F. Plasil, T. Bures and P. Hnetynka . . . . . . . . . . . . . . . . . . . . . . . . . . . . 479

A wireless sensor network framework based on light databasesE. Cañete, M. Díaz and B. Rubio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 501

Extending decoupled software pipeline to parallelize Java programsA. Loureiro, J. P. Porto and G. Araujo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 525

ACCULOCK: accurate and effi cient detection of data racesX. Xie, J. Xue and J. Zhang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 543

Fast and effective soft linksJ. A. Akinyemi and C. L. A. Clarke . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 577

EMUSIM: an integrated emulation and simulation environment for modeling, evaluation, and validation of performance of Cloud computing applicationsR. N. Calheiros, M. A. S. Netto, C. A. F. De Rose and R. Buyya . . . . . . . . . . . . . . . . . . . 595

Volume 43/Issue 6/June 2013 ISSN 0038-0644

Practice and ExperienceSoftware:

Software:Practice and Experience

wileyonlinelibrary.com/journal/softwarepractice

EditorsR. Nigel HorspoolAndy Wellings

For update

SoftwareTesting, Verifi cation and Reliability

CONTENTS Volume 23 Number 4 June 2013

Editorial: Globalization—Language and DialectsJ. Offutt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 259

Testing and verifi cation in service-oriented architecture: a surveyM. Bozkurt, M. Harman and Y. Hassoun . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263

Parallel mutation testingP. R. Mateo and M. P. Usaola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 317

Softw

are Testing, Verification and R

eliabilityV

OLU

ME

23

, No. 4

pp. 2

59

–35

2

JUN

E 2

01

3

3.6

Volume 23/Issue 4/June 2013 ISSN 0960-0833

Testing, Verification and ReliabilitySoftware

wileyonlinelibrary.com/journal/softwaretesting

EditorsJeff OffuttRobert M. Hierons

EngineeringEducation

VOLUME 21 / NUMBER 1 / 2013

ComputerApplications in

VO

LU

ME

21 / NU

MB

ER

1 / 2013

Editor

Magdy F. IskanderHCAC, University of Hawaii at Manoa

Com

puter A

pp

lications in Engineering E

ducation

WIL

EY

Pages 1–202

computer animation & virtual worlds

vol 24 | no. 2 | March/April 2013

ISSN 1546-4261CAVW 24(2) 85–152 (2013)

View this journal online at wileyonlinelibrary.com

ISSN 0167-7055

CONTENTS

Editorial 1

Articles

Scalable Symmetry Detection for Urban ScenesJ. Kerber, M. Bokeloh, M. Wand and H.-P. Seidel 3

Efficient GPU Data Structures and Methods to Solve Sparse Linear Systems in Dynamics ApplicationsDaniel Weber, Jan Bender, Markus Schnoes, André Stork and Dieter Fellner 16

Synthetic Controllable Turbulence Using Robust Second Vorticity ConfinementS. He and R. W. H. Lau 27

Vega: Non-Linear FEM Deformable Object SimulatorF. S. Sin, D. Schroeder and J. Barbic 36

Visualization and Analysis of Second-Order Tensors: Moving Beyond the Symmetric Positive-Definite CaseA. Kratz, C. Auer, M. Stommel and I. Hotz 49

Large and Small Eddies Matter: Animating Trees in Wind Using Coarse Fluid Simulation and Synthetic TurbulenceA. Selino and M. D. Jones 75

Fast Insertion-Based Optimization of Bounding Volume HierarchiesJirí Bittner, Michal Hapala and Vlastimil Havran 85

Perceptual Metrics for Static and Dynamic Triangle MeshesM. Corsini, M. C. Larabi, G. Lavoué, O. Petrík, L. Vása and K. Wang 101

Just-in-Time Texture SynthesisLili Wang, Yulong Shi, Yi Chen and Voicu Popescu 126

Robust Image Denoising Using a Virtual Flash Image for Monte Carlo Ray TracingBochang Moon, Jong Yun Jun, JongHyeob Lee, Kunho Kim, Toshiya Hachisuka and Sung-Eui Yoon 139

Interactive Planarization and Optimization of 3D MeshesRoi Poranne, Elena Ovreiu and Craig Gotsman 152

Feature-Preserving Surface Reconstruction From Unoriented, Noisy Point DataJ. Wang, Z. Yu, W. Zhu and J. Cao 164

Coarse-to-Fine Isometric Shape Correspondence by Tracking Symmetric FlipsY. Sahillioglu and Y. Yemez 177

Content-Based Colour TransferFuzhang Wu, Weiming Dong, Yan Kong, Xing Mei, Jean-Claude Paul and Xiaopeng Zhang 190

Simulation of Morphology Changes in Drying LeavesSoHyeon Jeong, Si-Hyung Park and Chang-Hun Kim 204

Reports

CGF Cover Image 2013: PrismBen Spencer and Mark W. Jones 216

Publisher’s Note 218

Erratum 219

VOLUME 32 NUMBER 1 FEBRUARY 2013

CO

MPU

TER

GR

APH

ICS FO

RU

MV

OLU

ME 32

NU

MBER

1 February 2013

Pages 1–219

cgf_32_1_cover_c 3/8/13 10:47 AM Page 1

VOLUME 25 ISSUE 3

APRIL 2010

COMPUTER-AIDED CIVIL AND INFRASTRUCTURE

ENGINEERINGHOJJAT ADELI EDITOR-IN-CHIEF

VO

LU

ME

2

5

IS

SU

E

3

AP

RI

L

20

10

C O N T E N T S

A Meta-Heuristic Algorithm for Multi-Objective Optimal Design of Hybrid Laminate Composite Structures 149

A. Rama Mohan Rao and P. P. Shyju (India)

A Knowledge Formalization and Aggregation-Based Method for the Assessment of Dam Performance 171

Corinne Curt, Laurent Peyras, and Daniel Boissier (France)

Influence of Semi-Rigid Connections and Local Joint Damage on Progressive Collapse of Steel Frameworks 184

Yuxin Liu, Lei Xu, and Donald E. Grierson (Canada)

Computers in Education

Developing Construction Management Events in Situational Simulations 205Carrie S. Dossick, Amlan Mukherjee, Eddy M. Rojas, and Corey Tebo (USA)

Short Contribution

A Simple Active Control Algorithm for Earthquake Excited Structures 218Unal Aldemir (Turkey)

Erratum 226

COMPUTER-AIDEDCIVIL AND INFRASTRUCTURE

ENGINEERINGHOJJAT ADELI EDITOR-IN-CHIEF

CO

MP

UT

ER

-AID

ED

CIV

IL A

ND

INF

RA

ST

RU

CT

UR

E E

NG

INE

ER

ING

VO

LU

ME

25 ISS

UE

3 AP

RIL

2010

CACAIE is endorsed by the International Council for Research and Innovation in Building and Construction

Cover photo ©

istockphoto.com/JayK

ay57

mice_25_3-cover.qxd:mice_25-3 2/9/10 11:43 AM Page 1

online only online only

at wileyonlinelibrary.com

Sign up for New Content Alerts

Discover more Wiley journals with related computer science content in:

Mathematics, Statistics and information Science

Read Free Sample Issues and More At:wileyonlinelibrary.com/subject/mathematics wileyonlinelibrary.com/subject/statistics

Probabilistic Models for Focused Web CrawlingHongyu Liu and Evangelos Milios

Learning and Verifying Safety Constraints for Planners in a Knowledge-Impoverished SystemGeoffrey Levine, Ugur Kuter, Antons Rebguns, Derek Green, and Diana Spears

A Review of Tree Convex Sets TestForrest Sheng Bao and Yuanlin Zhang

An Efficient Representation Model of Distance Distribution between Uncertain ObjectsEdward Hung, Lurong Xiao, and Regant Y.S. Hung

Automatic Annotation of Ambiguous Personal Names on the WebDanushka Bollegala, Yutaka Matsuo, and Mitsuru Ishizuka

Exploiting Subtrees in Auto-Parsed Data to Improve Dependency ParsingWenliang Chen, Jun'ichi Kazama, Kiyotaka Uchimoto, and Kentaro Torisawa

Contents

Published by Wiley-Blackwell Boston MA & Oxford UK

Volume 28, Number 3 August 2012

Computational Intelligence

Volume 28, Num

ber 3 August 2012

coin_28_3_cover 7/20/12 11:18 AM Page 1

Contents

Editorial

Editorial to the ‘pattern recognition and artifi cial intelligence for human behaviour analysis’ special sectionby Luca Iocchi, Andrea Prati and Roberto Vezzani . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99

Articles

Human action recognition using an ensemble of body-part detectorsby Bhaskar Chakraborty, Andrew D. Bagdanov, Jordi Gonzàlez and Xavier Roca . . . . . . . . . . . . . . 101

Social interactions by visual focus of attention in a three-dimensional environmentby L. Bazzani, M. Cristani, D. Tosato, M. Farenzena, G. Paggetti, G. Menegaz and V. Murino . . . . 115

Editorial

Is tangled the new wicked?by Jon G. Hall. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128

Articles

Eliciting and prioritizing quality requirements supported by ontologies: a case study using the ElicitO framework and toolby Taiseera Hazeem Al Balushi, Pedro R. Falcone Sampaio and Pericles Loucopoulos . . . . . . . . . . 129

Approximated fuzzy logic controlled shunt active power fi lter for improved power qualityby Rambir Singh, Asheesh K. Singh and Rakesh K. Arya . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152

Association rule mining using genetic programming to provide feedback to instructors from multiple-choice quiz databy Cristóbal Romero, Amelia Zafra, Jose María Luna and Sebastián Ventura . . . . . . . . . . . . . . . . . . 162

Exploring the relationship between system development life cycle and knowledge accumulation in Taiwan’s IT industryby Wen-Hsiang Lai and Hsin-Cheng Tsen. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173

Volume 30 /Issue 2 /ISSN 1468-0394Editor-in-Chief: Jon G. Hall

Expert SystemsThe Journal ofKnowledge Engineering

wileyonlinelibrary.com/journal/es

VO

LUM

E 30 • ISSU

E 2 • PP 99 – 182 •

MAY 2013

Expert Systems

exsy_30_2_cover.indd 1 18/04/13 10:08 AM

An international journal promoting the study and practice of information systemsEditors-in-Chief Robert Davison, Philip Powell & Eileen Trauth

Founding EditorsDavid Avison & Guy Fitzgerald

Volume 23 l Number 3 l May 2013ISSN 1350 1917

informationsystems journal

An Official Journal of the AIS

ISJ IN

FOR

MA

TION

SY

STEM

S JO

UR

NA

L Volum

e 23 l Num

ber 3 l May 2013

informationsystems journalContents193 Editorial

Philip Powell

197 Digitising the R&D social network: revisiting the technological gatekeeper

Eoin Whelan, Willie Golden & Brian Donnellan

219 Understanding post-adoption IS usage stages: an empirical assessment of self-service information systems

Khawaja Asjad Saeed & Sue Abdinnour

245 How does organisational absorptive capacity matter in the assimilation of enterprise information systems?

Nilesh Saraf, Huigang Liang, Yajiong Xue & Qing Hu

269 The dark side of information technology use

Monideepa Tarafdar, Ashish Gupta & Ofir Turel

277 Information Systems Journal Special Issue on the ‘Digitisation in business models and entrepreneurship’

Eric Clemons, Jonas Hedman, Saonee Sarker & Daniel Veit

Volume 23 l Number 3 l May 2013ISSN 1350 1917

Information Systems Journal is indexed in:

• ABI/INFORM Database • Computer & Information Systems Abstracts• Computer Abstracts• Computer Science Index• Current Contents: Social & Behavioral Sciences• Educational Research Abstracts Online• Emerald Management Reviews• Ergonomics Abstracts• InfoTrac • INSPEC• Journal Citation Reports/Social Science Edition• ProQuest Central• PsycINFO/Psychological Abstracts• SCOPUS• Social Sciences Citation Index• Sociological Collection• VINITI

001-isj-v23-i3-oc-(2.94mm).indd 1 3/22/2013 4:20:23 PM

Volume 53

Issue 3

May 2009

E D I T O R S - I N - C H I E F

B r u c e L . G o l d e n

D o u g l a s R . S h i e r

ISS

N 0

02

8-3

04

5

Vo

lum

e 5

3 Is

su

e 3

NE

TW

OR

KS

Ma

y 2

00

9P

ag

es 2

29

–314

WILE

Y

NET-Cover 1 Spine 4/2/09 8:19 PM Page 1

Connect with Us

Wiley Engineering@WileyCompSci Wiley-Blackwell Statistics and Mathematics

Top Articles in Maths, Statistics and information Science:

Volum

e 2, Num

ber 2, M

arch/Ap

ril 2012W

ILEYW

IREs Data M

ining and Kno

wled

ge Disco

very

wires.wiley.com/dmkd

ISSN 1942-4787

WIREsDATA MINING AND KNOWLEDGE DISCOVERY

Volume 2, Number 2, March/April 2012

EDITOR-IN-CHIEFWitold Pedrycz

WIDM-2-2-Cover.indd 1 2/1/12 3:11:27 PM

Volume 38, Number 4 July 2011

ISSN 1042-9832

wileyonlinelibrary.com/rsa

RAN

DO

M STRU

CTU

RES & A

LGO

RITHM

SVO

LUM

E 38, NU

MBER 4

JULY

2011PP. 381–526

WILEY

RSA Cover 1 Spine 5/12/11 12:30 PM Page 1

Kemnad: A Knowledge Engineering Methodology For Negotiating Agent Development, Vol 28:1Computational Intelligence

Expert system design for credit risk evaluation using neuro-fuzzy logic, Vol 29:1Expert Systems

Artificial immune systems for the detection of credit card fraud: an architecture, prototype and preliminary results, Vol 22:1Information Systems Journal

Complexity of column generation in network design with path-based survivability mechanisms, Vol 59:1Networks: An International Journal

Acyclic edge coloring of 2-degenerate graphs, Vol 69:1Journal of Graph Theory

Weak quasi-randomness for uniform hypergraphs, Vol 40:1Random Structures & Algorithms

Significant motifs in time series, Vol 5:1Statistical Analysis and Data Mining

Models for networks: a cross-disciplinary science, Vol 4:1WIREs Computational Statistics

Algorithms for hierarchical clustering: an overview, Vol 2:1WIREs Data Mining and Knowledge Discovery

Security and privacy in emerging information technologies, Vol 5:1Security and Communication Networks

Incentive-rewarding mechanism to stimulate activities in social networking services, Vol 22:1International Journal of Network Management

at wileyonlinelibrary.com

Sign up for New Content Alerts

online only

SE

CU

RITY

AN

D C

OM

MU

NIC

ATIO

N N

ETW

OR

KS

Vol. 5 N

o. 7 p

p. 7

09

–830 J

uly 2012

CONTENTS Volume 5 Number 7 July 2012

Research ArticlesSYN fl ooding attack detection by TCP handshake anomalies

M. Bellaïche and J.-C. Grégoire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 709

A private online system for executing wills based on a secret sharing mechanismC.-L. Chen, C.-C. Lee, Y.-M. Tseng and T.-T. Chou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 725

Virtual network stacks: from theory to practiceA. Matos, R. Ferreira, S. Sargento and R. L. Aguiar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 738

Secured hierarchical secret sharing using ECC based signcryptionA. Basu, I. Sengupta and J. K. Sing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 752

Practical round-optimal blind signatures without random oracles or non-interactive zero-knowledge proofs

Y. Zhou and H. Qian . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 764

VeriEST: verifi cation via primary user emulation signal-based test for secure distributed spectrum sensing in cognitive radio networks

M. Kim, M. Y. Chung and H. Choo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 776

Energy effi ciency of encryption schemes applied to wireless sensor networksX. Zhang, H. M. Heys and C. Li . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 789

CSP-DHIES: a new public-key encryption scheme from matrix conjugationP. Pan, L. Wang, L. Wang, L. Li and Y. Yang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 809

Secure and effi cient dynamic program update in wireless sensor networksD. He, S. Chan, C. Chen and J. Bu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 823

4.7

Editor-in-ChiefHsiao-Hwa Chen

Co-Editor-in-ChiefHamid R. Sharif

Senior EditorNorman C. Beaulieu

July 2012 • Volume 5 • Issue No. 7

ISSN 1939-0114

wileyonlinelibra

ry.com/journal/security