


default search action
Software - Practice and Experience, Volume 43
Volume 43, Number 1, January 2013
- Marek Psiuk, Daniel Zmuda, Krzysztof Zielinski:
Distributed OSGi built over message-oriented middleware. 1-31 - Pablo Basanta-Val
, Marisol García-Valls
, Iria Estévez-Ayres
:
Enhancing OSGi with real-time Java support. 33-65
- Julia L. Lawall, Julien Brunel, Nicolas Palix
, René Rydhof Hansen
, Henrik Stuart, Gilles Muller:
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. 67-92 - Matthew S. Simpson, Rajeev Barua:
MemSafe: ensuring the spatial and temporal memory safety of C at runtime. 93-128
Volume 43, Number 2, February 2013
- Aleksandar S. Stanimirovic
, Milos Bogdanovic
, Leonid Stoimenov
:
Methodology and intermediate layer for the automatic creation of ontology instances stored in relational databases. 129-152 - Mario Pukall, Christian Kästner
, Walter Cazzola
, Sebastian Götz, Alexander Grebhahn, Reimar Schröter, Gunter Saake:
JavAdaptor - Flexible runtime updates of Java applications. 153-185 - Nava Ehsan, Heshaam Faili:
Grammatical and context-sensitive error correction using a statistical machine translation framework. 187-206
- Florian Brandner
, Viktor Pavlu, Andreas Krall:
Automatic generation of compiler backends. 207-240
- Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu:
A threat model-based approach to security testing. 241-258
Volume 43, Number 3, March 2013
- Dejan Baca, Bengt Carlsson, Kai Petersen
, Lars Lundberg:
Improving software security with static automated code analysis in an industry setting. 259-279 - Leila Ismail
, Rajeev Barua:
Implementation and performance evaluation of a distributed conjugate gradient method in a cloud computing environment. 281-304 - Cláudio Sant'Anna, Alessandro Garcia, Thaís Vasconcelos Batista
, Awais Rashid
:
Mastering crosscutting architectural decisions with aspects. 305-332 - Soledad Escolar
, Jesús Carretero
:
An open framework for translating portable applications into operating system-specific wireless sensor networks applications. 333-357 - Jacqueline Floch, Cristina Frà, Rolf Fricke, Kurt Geihs
, Michael Wagner
, Jorge Lorenzo Gallardo, Eduardo Soladana Cantero, Stephan Mehlhase, Nearchos Paspallis
, Hossein Rahnama, Pedro Antonio Ruiz, Ulrich Scholz:
Playing MUSIC - building context-aware and self-adaptive mobile applications. 359-388
Volume 43, Number 4, April 2013
- Judith Bishop, David Notkin:
Developing tools as plug-ins: TOPI 2011 special issue editorial. 389-390 - David Ameller
, Oriol Collell, Xavier Franch
:
The Three-Layer architectural pattern applied to plug-in-based architectures: the Eclipse case. 391-402 - Guido de Caso, Diego Garbervetsky
, Daniel Gorín:
Integrated program verification tools in education. 403-418 - Leonardo Mariani
, Fabrizio Pastore
:
MASH: tool integration made easy. 419-433 - Edgard Marx, Percy E. Salas, Karin K. Breitman
, José Viterbo Filho
, Marco Antonio Casanova
:
RDB2RDF: A relational to RDF plug-in for Eclipse. 435-447 - Luiz Fernando Gomes Soares, Márcio Ferreira Moreno, Rafael Savignon Marinho:
Ginga-NCL architecture for plug-ins. 449-463 - Dan Zhao, Shauvik Roy Choudhary, Alessandro Orso:
Developing analysis and testing plug-ins for modern IDEs: an experience report. 465-478
Volume 43, Number 5, May 2013
- Michal Malohlava, Frantisek Plásil
, Tomás Bures
, Petr Hnetynka
:
Interoperable domain-specific languages families for code generation. 479-499 - Eduardo Cañete
, Manuel Díaz
, Bartolomé Rubio
:
A wireless sensor network framework based on light databases. 501-523 - André Loureiro, João Paulo Porto, Guido Araujo:
Extending decoupled software pipeline to parallelize Java programs. 525-541 - Xinwei Xie, Jingling Xue
, Jie Zhang:
Acculock: accurate and efficient detection of data races. 543-576 - John A. Akinyemi, Charles L. A. Clarke:
Fast and effective soft links. 577-593 - Rodrigo N. Calheiros
, Marco Aurélio Stelmar Netto, César A. F. De Rose
, Rajkumar Buyya:
EMUSIM: an integrated emulation and simulation environment for modeling, evaluation, and validation of performance of Cloud computing applications. 595-612
Volume 43, Number 6, June 2013
- Juan Manuel Rodriguez
, Marco Crasso, Cristian Mateos
, Alejandro Zunino
:
Best practices for describing, consuming, and discovering web services: a comprehensive toolset. 613-639 - Chung-Ming Huang, Chia-Ching Yang, Chun-Yu Tseng:
A telematics service discovery platform using the distributed peer-to-peer networking system. 641-662 - Pietro Ferrara
:
A generic static analyzer for multithreaded Java programs. 663-684 - Jehad Al-Dallal
:
Incorporating transitive relations in low-level design-based class cohesion measurement. 685-704
- Apan Qasem, Joshua Magee:
Improving TLB performance on current chip multiprocessor architectures through demand-driven superpaging. 705-729
- Martin Campbell-Kelly:
David Barron: a life in software, 1935-2012. 733-741
Volume 43, Number 7, July 2013
- Mohamed E. Fayad, Shivanshu K. Singh:
Pattern languages: addressing the challenges. 743-745 - Salman Khwaja
, Mohammad R. Alshayeb
:
Towards design pattern definition language. 747-757 - Sargon Hasso
, Robert C. Carlson:
Software patterns catalog based on a new classification scheme. 759-768 - Munawar Hafiz:
A pattern language for developing privacy enhancing technologies. 769-787 - Michael Stal, Douglas C. Schmidt, William Otte:
Efficiently and transparently automating scalable on-demand activation and deactivation of services with the activator pattern. 789-806 - Ahmad Waqas Kamal, Paris Avgeriou
, Uwe Zdun:
The use of pattern participants relationships for integrating patterns: a controlled experiment. 807-833 - Jaeyong Park, Seok Won Lee, David C. Rine:
UML design pattern metamodel-level constraints for the maintenance of software evolution. 835-866 - Wei-Tek Tsai, Budan Wu, Zhi Jin, Yu Huang, Wu Li:
Ontology patterns for service-oriented software development. 867-883
Volume 43, Number 8, August 2013
- Julien Bruneau, Charles Consel:
DiaSim: a simulator for pervasive computing applications. 885-909 - Ricardo Queirós
, José Paulo Leal
:
crimsonHex: a learning objects repository for programming exercises. 911-935
- Ning Gui, Vincenzo De Florio
, Tom Holvoet
:
Transformer: an adaptation framework supporting contextual adaptation behavior composition. 937-967
- T. H. Tse:
Focus section on program debugging. 969-970
- W. K. Chan
, Yan Cai:
In quest of the science in statistical fault localization. 971-987 - Vidroha Debroy, W. Eric Wong:
A consensus-based strategy to improve the quality of fault localization. 989-1011
Volume 43, Number 9, September 2013
- Punam Bedi
, Vandana Gandotra, Archana Singhal
, Himanshi Narang, Sumit Sharma:
Threat-oriented security framework in risk management using multiagent system. 1013-1038
- Soha Makady, Robert J. Walker
:
Validating pragmatic reuse tasks by leveraging existing test suites. 1039-1070
- Adel Noureddine
, Romain Rouvoy
, Lionel Seinturier
:
A review of middleware approaches for energy management in distributed environments. 1071-1100
- Anthony J. H. Simons
, Gordon Fraser, Leonardo Bottaci:
Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research Techniques. 1101-1102
- Ben W. Y. Kam, Thomas R. Dean:
Linguistic security testing for text communication protocols. 1103-1120 - Mihai Nica, Simona Nica, Franz Wotawa
:
On the use of mutations and testing for debugging. 1121-1142
Volume 43, Number 10, October 2013
- Rüdiger Kapitza:
Distributed applications and interoperable systems (Extended papers from DAIS'10). 1143-1144 - Stefan Walraven, Bert Lagaisse
, Eddy Truyen, Wouter Joosen:
Policy-driven customization of cross-organizational features in distributed service systems. 1145-1163 - Pascal Felber
, Peter G. Kropf
, Lorenzo Leonini, Toan Luu, Martin Rajman
, Etienne Rivière, Valerio Schiavoni
, José Valerio:
CoFeed: privacy-preserving Web search recommendation based on collaborative aggregation of interest feedback. 1165-1184 - Sonja Zaplata, Matthias Meiners, Winfried Lamersdorf:
Designing future-context-aware dynamic applications with structured context prediction. 1185-1204 - Daniel Romero, Gabriel Hermosillo, Amirhosein Taherkordi, Russel Nzekwa, Romain Rouvoy
, Frank Eliassen:
The DigiHome Service-Oriented Platform. 1205-1218 - Andoni Lombide Carreton, Kevin Pinte, Wolfgang De Meuter:
Software abstractions for mobile RFID-enabled applications. 1219-1239
Volume 43, Number 11, November 2013
- Yu Shyang Tan
, Jiaqi Tan, Engsiong Chng
, Bu-Sung Lee
, Jiaming Li, Susumu Date
, Hui Ping Chak, Xiong Xiao, Atsushi Narishige:
Hadoop framework: impact of data organization on performance. 1241-1260 - Kurt E. Kiefer, Louise E. Moser:
Replay debugging of non-deterministic executions in the Kernel-based Virtual Machine. 1261-1281 - Michael Menzel, Marten Schönherr, Stefan Tai:
(MC2)2: criteria, requirements and a software prototype for Cloud infrastructure decisions. 1283-1297
- Noemí Pérez-Díaz, David Ruano-Ordás
, Florentino Fdez-Riverola
, José Ramón Méndez
:
Wirebrush4SPAM: a novel framework for improving efficiency on spam filtering services. 1299-1318 - Adianto Wibisono, Ralph Koning, Paola Grosso
, Adam Belloum
, Marian Bubak
, Cees de Laat:
OIntEd: online ontology instance editor enabling a new approach to ontology development. 1319-1335
- Gengbiao Chen, Zhengwei Qi, Shiqiu Huang, Kangqi Ni, Yudi Zheng, Walter Binder
, Haibing Guan:
A refined decompiler to generate C code with high readability. 1337-1358 - Saurabh Kumar Garg
, Rajkumar Buyya:
An environment for modeling and simulation of message-passing parallel applications for cloud computing. 1359-1375
- Bojana Dimic Surla:
Developing an Eclipse editor for MARC records using Xtext. 1377-1392
Volume 43, Number 12, December 2013
- Angelo Di Iorio
, Davide Rossi, Stefano Zacchiroli
:
Editorial. 1393-1394 - Yun-Jung Lee, Eun-Kyung Kim, Hwan-Gue Cho, Gyun Woo:
Detecting and visualizing online dispute dynamics in replying comments. 1395-1413 - Jeroen van der Meer, Flavius Frasincar
:
Automatic review identification on the web using pattern recognition. 1415-1436
- Davide Eynard, Luca Mazzola
, Antonina Dattolo
:
Exploiting tag similarities to discover synonyms and homonyms in folksonomies. 1437-1457
- Luiz Alexandre Hiane da Silva Maciel, Celso Massaki Hirata
:
Fault-tolerant timestamp-based two-phase commit protocol for RESTful services. 1459-1488
- Diana Berbecaru
, Matteo Maria Casalino, Antonio Lioy
:
FcgiOCSP: a scalable OCSP-based certificate validation system exploiting the FastCGI interface. 1489-1518 - Miguel P. Monteiro
, João L. Gomes:
Implementing design patterns in Object Teams. 1519-1551

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.