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.