


default search action
Software - Practice and Experience, Volume 42
Volume 42, Number 1, January 2012
- R. Nigel Horspool:

Editorial. 1
- Barbara G. Ryder, Ben Wiedermann:

Language design and analyzability: a retrospective. 3-18
- Kai-Wei Lin, Peng-Sheng Chen:

An assistance tool employing a systematic methodology for GCC retargeting. 19-36 - Yoonho Park, Richard King, Senthil Nathan, Wesley Most, Henrique Andrade:

Evaluation of a high-volume, low-latency market data processing system implemented with IBM middleware. 37-56 - Chung-Ming Huang, Hao-Hsiang Ku, Yu-Chang Chao, Cheng-Wei Lin, Yen-Wen Chen:

Design and implementation of an adaptive Web2.0 QoS-based home appliance control service platform. 57-87 - Herwig Mannaert, Jan Verelst, Kris Ven:

Towards evolvable software architectures based on systems theoretic stability. 89-116 - James Stanier, Des Watson:

A study of irreducibility in C programs. 117-130
Volume 42, Number 2, February 2012
- Xiaohu Yang, Liping Zhao

, Xinyu Wang, Ye Wang, Jie Sun, Albert Jerry Cristoforo:
Satisfying quality requirements in the design of a partition-based, distributed stock trading system. 131-157 - Ricardo Pérez-Castillo

, Ignacio García Rodríguez de Guzmán
, Mario Piattini
, Ángeles Saavedra Places
:
A case study on business process recovery using an e-government system. 159-189 - Pieter H. Hartel

, Henk L. Muller:
Simple algebraic data types for C. 191-210 - Mazeiar Salehie, Ladan Tahvildari:

Towards a goal-driven approach to action selection in self-adaptive software. 211-233 - Guillermo Jiménez-Díaz, Pedro A. González-Calero

, Mercedes Gómez-Albarrán:
Role-play virtual worlds for teaching object-oriented design: the ViRPlay development experience. 235-253
- Peter M. Fenwick:

PPM compression without escapes. 255-260
Volume 42, Number 3, March 2012
- Simon E. Parkin, Graham Morgan

:
Toward reusable SLA monitoring capabilities. 261-280 - Paola Caymes-Scutari, Anna Morajko

, Tomàs Margalef
, Emilio Luque
:
A methodology for transparent knowledge specification in a dynamic tuning environment. 281-302 - Ting-Chang Huang, Da-Wei Chang:

VM aware journaling: improving journaling file system performance in virtualization environments. 303-330 - Engineer Bainomugisha, Jorge Vallejos, Elisa Gonzalez Boix, Pascal Costanza, Theo D'Hondt, Wolfgang De Meuter:

Bringing Scheme programming to the iPhone - Experience. 331-356 - Yali Wu, Andrew A. Allen

, Frank Hernandez, Robert B. France, Peter J. Clarke
:
A domain-specific modeling approach to realizing user-centric communication. 357-390
Volume 42, Number 4, April 2012
- Rajiv Ranjan

, Rajkumar Buyya, Boualem Benatallah
:
Special section: software architectures and application development environments for Cloud computing. 391-394 - Johannes Kirschnick, José M. Alcaraz Calero

, Patrick Goldsack, Andrew Farrell, Julio Guijarro, Steve Loughran, Nigel Edwards, Lawrence Wilcock:
Towards an architecture for deploying elastic services in the cloud. 395-408 - Zhiwei Yu, Chaokun Wang, Clark D. Thomborson

, Jianmin Wang
, Shiguo Lian, Athanasios V. Vasilakos
:
A novel watermarking method for software protection in the cloud. 409-430 - Gaofeng Zhang, Yun Yang, Dong Yuan

, Jinjun Chen:
A trust-based noise injection strategy for privacy protection in cloud. 431-445 - Ali Khajeh-Hosseini, David Greenwood, James W. Smith, Ian Sommerville:

The Cloud Adoption Toolkit: supporting cloud adoption decisions in the enterprise. 447-465 - Peishun Wang, Yi Mu, Willy Susilo

, Jun Yan
:
Privacy preserving protocol for service aggregation in cloud computing. 467-483 - Georg Birkenheuer, André Brinkmann

, Jürgen Kaiser, Axel Keller, Matthias Keller, Christoph Kleineweber, Christoph Konersmann, Oliver Niehörster, Thorsten Schäfer, Jens Simon, Maximilian Wilhelm:
Virtualized HPC: a contradiction in terms?. 485-500 - Amir Vahid Dastjerdi, Sayed Gholam Hassan Tabatabaei, Rajkumar Buyya:

A dependency-aware ontology-based approach for deploying service level agreement monitoring services in Cloud. 501-518
Volume 42, Number 5, May 2012
- Yu-Sik Park, Hyung-Min Koo, In-Young Ko

:
A task-based and resource-aware approach to dynamically generate optimal software architecture for intelligent service robots. 519-541 - Alina Gîrbea, Septimiu Nechifor, Francisc Sisak, Liviu Perniu:

Efficient address space generation for an OPC UA server. 543-557 - Lionel Seinturier

, Philippe Merle
, Romain Rouvoy
, Daniel Romero, Valerio Schiavoni
, Jean-Bernard Stefani:
A component-based middleware platform for reconfigurable service-oriented architectures. 559-583 - Thomas Claveirole, Marcelo Dias de Amorim:

Manipulating Wi-Fi packet traces with WiPal: design and experience. 585-599 - Richard B. Arthur, Dan R. Olsen Jr.:

Privacy-aware shared UI toolkit for nomadic environments. 601-628 - Raoufehsadat Hashemian, Diwakar Krishnamurthy, Martin F. Arlitt:

Web workload generation challenges - an empirical investigation. 629-647
Volume 42, Number 6, June 2012
- Robert Glück

:
A self-applicable online partial evaluator for recursive flowchart languages. 649-673 - Qing Yi:

POET: a scripting language for applying parameterized source-to-source program transformations. 675-706 - Luca Ferrari, Haibin Zhu

:
Autonomous role discovery for collaborating agents. 707-731 - Paolo Ciancarini

, Angelo Di Iorio
, Luca Furini, Fabio Vitali
:
High-quality pagination for publishing. 733-751 - Hiroshi Inoue, Takao Moriyama, Hideaki Komatsu, Toshio Nakatani:

A high-performance sorting algorithm for multicore single-instruction multiple-data processors. 753-777
Volume 42, Number 7, July 2012
- Kenneth B. Kent

, Jérôme Hugues:
Editorial to the Special Issue of Rapid System Prototyping'10. 779 - Andrew Forward, Omar Bahy Badreddin, Timothy C. Lethbridge

, Julian Solano:
Model-driven rapid prototyping with Umple. 781-797 - Julien Delange

, Laurent Pautet
, Fabrice Kordon:
Design, implementation and verification of MILS systems. 799-816 - Martin Hillenbrand, Matthias Heinz, Johannes Matheis, Klaus D. Müller-Glaser:

Development of electric/electronic architectures for safety-related vehicle functions. 817-851 - Doron Drusinsky, Man-tak Shing:

Validating quality attribute requirements via execution-based model checking. 853-875 - Walid Lafi, Didier Lattard, Ahmed Amine Jerraya:

An asynchronous hierarchical router for networks-on-chip-based three-dimensional multi-processor system-on-chip. 877-890 - Youcef Bouchebaba, Ali Erdem Özcan

, Pierre G. Paulin, Gabriela Nicolescu:
MpAssign: a framework for solving the many-core platform mapping problem. 891-915 - Alexandra Aguiar, Fabiano Hessel

:
Current techniques and future trends in embedded system's virtualization. 917-944
Volume 42, Number 8, August 2012
- Ronald Toegl, Thomas Winkler, Mohammad Nauman

, Theodore W. Hong:
Specification and Standardization of a Java Trusted Computing API. 945-965 - Eric Ying Kwong Chan, W. K. Chan, Pak-Lok Poon

, Yuen-Tak Yu:
An empirical evaluation of several test-a-few strategies for testing particular conditions. 967-994 - Vijay Nagarajan, Dennis Jeffrey, Rajiv Gupta

, Neelam Gupta:
A system for debugging via online tracing and dynamic slicing. 995-1014 - Florentino Fdez-Riverola

, Daniel Glez-Peña
, Hugo López-Fernández
, Miguel Reboiro-Jato
, José Ramón Méndez
:
A JAVA application framework for scientific software development. 1015-1036 - J. Shane Culpepper

, Matthias Petri, Simon J. Puglisi:
Revisiting bounded context block-sorting transformations. 1037-1054
- Huai Liu

, Fei-Ching Kuo, Tsong Yueh Chen
:
Comparison of adaptive random testing and random testing under various testing and debugging scenarios. 1055-1074
Volume 42, Number 9, September 2012
- Pierluigi Plebani

, Cinzia Cappiello
, Marco Comuzzi
, Barbara Pernici
, Sandeep Yadav:
MicroMAIS: executing and orchestrating Web services on constrained mobile devices. 1075-1094 - Jan Wassenberg

:
Lossless asymmetric single instruction multiple data codec. 1095-1106 - Shih-Yao Dai, Fyodor Yarochkin, Ming-Wei Wu, Yennun Huang

, Sy-Yen Kuo
:
Holography: a behavior-based profiler for malware analysis. 1107-1136 - Antonio Monzón, José L. Fernández, Juan Antonio de la Puente

:
Application of Deadlock Risk Evaluation of Architectural Models. 1137-1163 - Alexandre Bergel

, Felipe Bañados, Romain Robbes
, Walter Binder
:
Execution profiling blueprints. 1165-1192
Volume 42, Number 10, October 2012
- Kirak Hong, Jiin Park, Sungho Kim, Taekhoon Kim, Hwangho Kim, Bernd Burgstaller, Bernhard Scholz:

TinyVM: an energy-efficient execution infrastructure for sensor networks. 1193-1209 - I-Ching Hsu:

Extending UML to model Web 2.0-based context-aware applications. 1211-1227 - Geylani Kardas

, Moharram Challenger
, Suleyman Yildirim, Ali Yamuc:
Design and implementation of a multiagent stock trading system. 1247-1273 - Alessandro Russo

, Massimo Mecella
, Massimiliano de Leoni
:
ROME4EU - A service-oriented process-aware information system for mobile devices. 1275-1314
Volume 42, Number 11, November 2012
- Michele Welponer, Luca Abeni

, Guido Marchetto, Renato Lo Cigno
:
Measuring and reducing the impact of the operating system kernel on end-to-end latencies in synchronous packet switched networks. 1315-1330 - Javier Ferrer

, Francisco Chicano
, Enrique Alba
:
Evolutionary algorithms for the multi-objective test data generation problem. 1331-1362 - Bugra Gedik, Henrique Andrade:

A model-based framework for building extensible, high performance stream processing middleware and programming language for IBM InfoSphere Streams. 1363-1391 - Harold W. Thimbleby

:
Heedless programming: ignoring detectable error is a widespread hazard. 1393-1407 - Matthias Kretz

, Volker Lindenstruth:
Vc: A C++ library for explicit vectorization. 1409-1430
- Vijay Nagarajan, Dennis Jeffrey, Rajiv Gupta

, Neelam Gupta:
Erratum: A system for debugging via online tracing and dynamic slicing. 1431
Volume 42, Number 12, December 2012
- Pekka Kilpeläinen:

Using XQuery for problem solving. 1433-1465 - Mathieu Jan

, Christophe Jouvray, Fabrice Kordon, Antonio Kung, Jimmy Lalande, Frédéric Loiret, Juan F. Navas, Laurent Pautet, Jacques Pulou, Ansgar Radermacher, Lionel Seinturier
:
Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems. 1467-1494 - Ghizlane El-Boussaidi, Hafedh Mili:

Understanding design patterns - what is the problem? 1495-1529 - Vijay Kumar, Arun Sharma

, Rajesh Kumar, Pritam S. Grover
:
Quality aspects for component-based systems: A metrics based approach. 1531-1548

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














