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
A case study on business process recovery using an e-government system. 159-189 - Pieter H. Hartel
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
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
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
A domain-specific modeling approach to realizing user-centric communication. 357-390
Volume 42, Number 4, April 2012
- Rajiv Ranjan
Special section: software architectures and application development environments for Cloud computing. 391-394 - Johannes Kirschnick, José M. Alcaraz Calero
Towards an architecture for deploying elastic services in the cloud. 395-408 - Zhiwei Yu, Chaokun Wang, Clark D. Thomborson
A novel watermarking method for software protection in the cloud. 409-430 - Gaofeng Zhang, Yun Yang, Dong Yuan
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
Privacy preserving protocol for service aggregation in cloud computing. 467-483 - Georg Birkenheuer, André Brinkmann
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
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
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
Editorial to the Special Issue of Rapid System Prototyping'10. 779 - Andrew Forward, Omar Bahy Badreddin, Timothy C. Lethbridge
Model-driven rapid prototyping with Umple. 781-797 - Julien Delange
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
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
Specification and Standardization of a Java Trusted Computing API. 945-965 - Eric Ying Kwong Chan, W. K. Chan, Pak-Lok Poon
An empirical evaluation of several test-a-few strategies for testing particular conditions. 967-994 - Vijay Nagarajan, Dennis Jeffrey, Rajiv Gupta
A system for debugging via online tracing and dynamic slicing. 995-1014 - Florentino Fdez-Riverola
A JAVA application framework for scientific software development. 1015-1036 - J. Shane Culpepper
Revisiting bounded context block-sorting transformations. 1037-1054
- Huai Liu
Comparison of adaptive random testing and random testing under various testing and debugging scenarios. 1055-1074
Volume 42, Number 9, September 2012
- Pierluigi Plebani
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
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
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 - Antonio Navarro, Jesus Cristobal, Carmen Fernández-Chamizo, Alfredo Fernández-Valmayor:
Architecture of a multiplatform virtual campus. 1229-1246 - Geylani Kardas
Design and implementation of a multiagent stock trading system. 1247-1273 - Alessandro Russo
ROME4EU - A service-oriented process-aware information system for mobile devices. 1275-1314
Volume 42, Number 11, November 2012
- Michele Welponer, Luca Abeni
Measuring and reducing the impact of the operating system kernel on end-to-end latencies in synchronous packet switched networks. 1315-1330 - Javier Ferrer
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
Vc: A C++ library for explicit vectorization. 1409-1430
- Vijay Nagarajan, Dennis Jeffrey, Rajiv 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
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
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.
last updated on 2024-12-18 18:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: