default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID36th COMPSAC 2012: Izmir, Turkey
- Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elçi, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine:
36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1990-4
Software Life Cycle, Evolution and Maintenance I
- Yan Lei, Xiaoguang Mao
, Ziying Dai, Chengsong Wang:
Effective Statistical Fault Localization Using Program Slices. 1-10 - Shouichi Nagano, Yusuke Ichikawa, Toru Kobayashi:
Recovering Traceability Links between Code and Documentation for Enterprise Project Artifacts. 11-18 - Yuri Malheiros, Alan Moraes, Cleyton Trindade, Silvio Meira:
A Source Code Recommender System to Support Newcomers. 19-24
Reliability, Metrics and Fault Tolerance I
- Tao Wang, Wenbo Zhang, Jun Wei, Hua Zhong:
Workload-Aware Online Anomaly Detection in Enterprise Applications with Local Outlier Factor. 25-34 - Salwa K. Abd-El-Hafiz:
A Metrics-Based Data Mining Approach for Software Clone Detection. 35-41 - Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
A Petri Net-Based Byzantine Fault Diagnosis Method for Service Composition. 42-51
Software Testing I
- Rubing Huang, Xiaodong Xie, Tsong Yueh Chen, Yansheng Lu:
Adaptive Random Test Case Generation for Combinatorial Testing. 52-61 - J. Jenny Li, Colin L. Mallows, Jim Landwehr:
Capacity Evaluation of Multi-modal Network Notification Service. 62-71 - Lijun Mei, Ke Zhai, Bo Jiang, W. K. Chan, T. H. Tse:
Preemptive Regression Test Scheduling Strategies: A New Testing Approach to Thriving on the Volatile Service Environments. 72-81
Panel 1: Trustworthiness of Open Source, Open Data, Open Systems and Open Standards
- Ina Schieferdecker:
Trustworthiness of Open Source, Open Data, Open Systems and Open Standards. 82 - Ina Schieferdecker:
(Open) Data Quality. 83-84 - Minghui Zhou:
Investigating Human Factors through Amassing Large-Scale OSS Repositories. 85-86 - Edzard Höfig:
Supporting trust via open information spaces. 87-88
Software Life Cycle, Evolution and Maintenance II
- Alessandro Cavalcante Gurgel, Francisco Dantas, Alessandro Garcia, Cláudio Sant'Anna:
Integrating Software Product Lines: A Study of Reuse versus Stability. 89-98 - Detlef Streitferdt, Arfan Mansoor:
Experiences of a Product Line Migration Project. 99-104 - Orçun Dayibas, Halit Oguztüzün:
Kutulu: A Domain-Specific Language for Feature-Driven Product Derivation. 105-110 - Yang Song, Xin Peng, Zhenchang Xing, Wenyun Zhao:
Automatic Adaptation of Software Applications to Database Evolution by Graph Differencing and AOP-Based Dynamic Patching. 111-118
Reliability, Metrics and Fault Tolerance II
- Guangtai Liang, Qian Wu, Qianxiang Wang, Hong Mei:
An Effective Defect Detection and Warning Prioritization Approach for Resource Leaks. 119-128 - Bo Wan, Gregor von Bochmann, Guy-Vincent Jourdan:
Evaluating Reliability-Testing Usage Models. 129-137 - Chao You, Minghui Zhou, Hongwu Lin, Zan Xiao, Hong Mei:
Towards Online Localization and Recovery for Faulty Components in Component-Based Applications. 138-147
Software Testing II
- Shufeng Wang, Hong Zhu:
CATest: A Test Automation Framework for Multi-agent Systems. 148-157 - Jian Sun, Tomi Männistö:
Usefulness Evaluation of Simulation in Server System Testing. 158-163 - Chang-Ai Sun, Guan Wang, Kai-Yuan Cai, Tsong Yueh Chen:
Towards Dynamic Random Testing for Web Services. 164-169 - Tao Zhang, Byungjeong Lee:
How to Recommend Appropriate Developers for Bug Fixing? 170-175
Software Architecture and Design I
- Florian Nothdurft, Gregor Bertrand, Helmut Lang, Wolfgang Minker:
Adaptive Explanation Architecture for Maintaining Human-Computer Trust. 176-184 - Liwei Shen, Xin Peng, Wenyun Zhao:
Quality-Driven Self-Adaptation: Bridging the Gap between Requirements and Runtime Architecture by Design Decision. 185-194 - Masahiro Araki, Daisuke Takegoshi:
A Rapid Development Framework for Multilingual Spoken Dialogue Systems. 195-202
Software Life Cycle, Evolution and Maintenance III
- Kai-Shin Lu, Carl K. Chang:
ALTA: Automatic Load-Time Adaptation Technique for Refactoring-Based Evolution of Software Component. 203-212 - Hui Liu, Yuan Gao, Zhendong Niu:
An Initial Study on Refactoring Tactics. 213-218 - Nan Niu, Juha Savolainen, Tanmay Bhowmik, Anas Mahmoud, Sandeep Reddivari:
A Framework for Examining Topical Locality in Object-Oriented Software. 219-224 - Theodoros Kalamatianos, Kostas Kontogiannis, Peter Matthews:
Domain Independent Event Analysis for Log Data Reduction. 225-232
Security
- Theodoor Scholte, William K. Robertson, Davide Balzarotti, Engin Kirda:
Preventing Input Validation Vulnerabilities in Web Applications through Automated Type Analysis. 233-243 - Horng-Tzer Wang, Ching-Hao Mao, Kuo-Ping Wu, Hahn-Ming Lee:
Real-Time Fast-Flux Identification via Localized Spatial Geolocation Detection. 244-252
Panel 2: Software Testing, Software Quality and Trust in Software-Based Systems
- Christof J. Budnik:
Software Testing, Software Quality and Trust in Software-Based Systems. 253 - Rajesh Subramanyan:
Position Statement: Software Testing, Software Quality and Trust in Software-Based Systems. 254 - Hong Zhu:
Position statement: Can testing prove software has no bug? 255 - Toru Kobayashi:
Data Mining Technique Effectiveness for Improving Software Productivity and Quality. 256
Software Architecture and Design II
- Selim Ciraci, Hasan Sözer, Bedir Tekinerdogan:
An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code. 257-266 - Maurice LeBon, Vassilios Tzerpos:
Fine-Grained Design Pattern Detection. 267-272 - Willian Nalepa Oizumi, Antonio C. Contieri Junior, Guilherme G. Correia, Thelma Elita Colanzi, Sandra Ferrari, Itana Maria de Souza Gimenes, Edson A. Oliveira Junior, Alessandro Fabricio Garcia, Paulo César Masiero:
On the Proactive Design of Product-Line Architectures with Aspects: An Exploratory Study. 273-278
Requirements Engineering
- Omid Jafarinezhad, Raman Ramsin:
Development of Situational Requirements Engineering Processes: A Process Factory Approach. 279-288 - Liwei Shen, Xin Peng, Wenyun Zhao:
Software Product Line Engineering for Developing Self-Adaptive Systems: Towards the Domain Requirements. 289-296 - Mohammed Abdullah Alnuem, Arshad Ahmad, Hashim Khan:
Requirements Understanding: A Challenge in Global Software Development, Industrial Surveys in Kingdom of Saudi Arabia. 297-306
Panel 3: Creative Computing: Reconciling Objective Precision with Subjective Ambiguity
- Ruqian Lu:
Position statement for the panel on creative computing: Reconciling objective precision with subjective ambiguity - Animated computing changes the way and style of computer application. 307-308 - Songmao Zhang:
Position statement for the panel on creative computing: Reconciling objective precision with subjective ambiguity - Using the semantic web technologies to support automatic animation. 309 - Hong Zhu:
Position statement: Can software design benefit from creative computing? 310-311
Formal Method
- Sheng Huang, Yanghua Xiao, Yiqi Lu, Wei Wang, Yu Wang:
XMLSnippet: A Coding Assistant for XML Configuration Snippet Recommendation. 312-321 - Zheng Lu, Supratik Mukhopadhyay:
Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security. 322-327 - Xiaobing Sun, Bixin Li, Qiandong Zhang:
A Change Proposal Driven Approach for Changeability Assessment Using FCA-Based Impact Analysis. 328-333 - Dianxiang Xu, William C. Chu:
A Methodology for Building Effective Test Models with Function Nets. 334-339
Fast Abstract
- Xiaodong Huang, Yong Zhang, Chunxiao Xing, Yinfei Huang, Jianfeng Wu, Shuo Bai:
Paxos-Based Memory Data Replication in Stock Trading System. 340-341 - Zakarya A. Alzamil:
Using Program Dynamic Analysis for Weak Algorithm Detection. 342-343 - Arfan Mansoor, Detlef Streitferdt:
Requirement Patterns for Multicore Systems. 344-345 - Süleyman Eken, Ahmet Sayar:
Performance Evaluations of Vector-Raster Satellite Image Transfers through Web Services. 346-347 - Okan Bursa, Özgü Can, Murat Osman Ünalir:
User Profiling for Policy Management in Social Communities. 348-349 - Hasan Ural, Hüsnü Yenigün:
On Capturing Effects of Modifications as Data Dependencies. 350-351 - Youngsam Shin, Minyoung Son, Seungwon Lee, Shihwa Lee:
Accelerated Deterministic Multithreading for Multichannel Video Decoder. 352-353 - Bahbibi Rahmatullah, Aris T. Papageorghiou, J. Alison Noble:
Image Analysis Using Machine Learning: Anatomical Landmarks Detection in Fetal Ultrasound Images. 354-355 - Ryo Shikimi, Shinpei Ogata, Saeko Matsuura:
Test Case Generation by Simulating Requirements Analysis Model. 356-357 - Utku Yabas, Hakki C. Cankaya, Turker Ince:
Customer Churn Prediction for Telecom Services. 358-359 - Khalid Latif, Amir-Mohammad Rahmani, Pasi Liljeberg, Hannu Tenhunen, Tiberiu Seceleanu:
A Cluster-Based Core Protection Technique for Networks-on-Chip. 360-361 - Samir Benbelkacem, Nadia Zenati-Henda, Mahmoud Belhocine, Abdelkader Bellarbi, Mohamed Tadjine:
HCI Knowledge in Software Engineering Practices for Designing Interactive Maintenance Assistance Systems. 362-363 - Eun-Sun Cho, Sumi Helal:
An Intermediate Language for Semantic Exceptions in Context-Aware Systems. 364-365 - Christopher Forbes, Iman Keivanloo, Juergen Rilling:
Doppel-Code: A Clone Visualization Tool for Prioritizing Global and Local Clone Impacts. 366-367
Poster Session
- Felipe Rodrigues Monteiro Sousa, Thais Helena Chaves de Castro:
WorldTour: Towards an Adaptive Software to Support Children with Autism in Tour Planning. 368 - Hareendra Manuru, Rajagopal Vasudevan, Ashok Sasidharan, Thomas Lynch, Seth Darbyshire, Satyajeet Raje, Rajiv Ramnath, Jayashree Ramanathan:
Implementation and Evaluation of Commodity Hardware and Software in an Open World Spoken Dialog Framework. 369 - Mostefai Mohammed Amine, Mohamed Ahmed-Nacer:
Implementing Knowledge Management Systems in Software Engineering: Opportunities and Challenges. 370 - Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel:
Conformance Testing of WS-BPEL Compositions under Various Load Conditions. 371
Joint COMPSAC/SAINT Panel
- Vladimir Getov:
Plenary panel description: Challenges towards the global adoption of cloud computing. 372 - Vladimir Getov:
Security as a Service in Smart Clouds - Opportunities and Concerns. 373-379 - William C. Chu, Chih-Hung Chang, Chih-Wei Lu, Juei-Nan Chen, Feng-Jian Wang:
The Development of Cloud Computing and Its Challenges for Taiwan. 380-386 - William R. Claycomb, Alex Nicoll:
Insider Threats to Cloud Computing: Directions for New Research Challenges. 387-394
Cloud Computing I
- Wenbo Zhang, Xiang Huang, Ningjiang Chen, Wei Wang, Hua Zhong:
PaaS-Oriented Performance Modeling for Cloud Computing. 395-404 - Miao Wang, Viliam Holub, John Murphy, Patrick O'Sullivan:
Event Indexing and Searching for High Volumes of Event Streams in the Cloud. 405-415 - Venu Vedam, Jayanti Vemulapati:
Demystifying Cloud Benchmarking Paradigm - An in Depth View. 416-421
Web-Based System
- Guannan Si, Jufeng Yang, Jing Xu, Shuo Wen, Wei Tian:
An Evaluation Model for Dependability of Internet-Scale Software on Basis of Bayesian Networks. 422-431 - George Baryannis, Manuel Carro, Dimitris Plexousakis:
Deriving Specifications for Composite Web Services. 432-437 - Anca Deak:
Understanding Socio-technical Factors Influencing Testers in Software Development Organizations. 438-441
Application I
- Mohammad Tanviruzzaman, Rizwana Rizia, Sheikh Iqbal Ahamed, Roger O. Smith:
Americans with Disabilities Act - Compliance Assessment Toolkit on Smartphone. 442-451 - Wei Zhang, Hen-I Yang, Hsinyi Jiang, Carl K. Chang:
Automatic Data Clustering Analysis of Arbitrary Shape with K-Means and Enhanced Ant-Based Template Mechanism. 452-460 - Emilia Mendes, Manar AbuTalib, Steve Counsell:
Applying Knowledge Elicitation to Improve Web Effort Estimation: A Case Study. 461-469
Industry Track
- Ayse Eser Baransel, Cesur Baransel:
Architecturing Business Intelligence for SMEs. 470-475 - Eunha Kim, Seokmoon Ryoo:
Agile Adoption Story from NHN. 476-481 - Duygu Çelik, Eray Elverici, Atilla Elçi, Necati Inan:
Educational Activity Finder for Children with Pervasive Developmental Disorder through a Semantic Search System. 482-487 - Chen Tian, Daniel G. Waddington, Jilong Kuang:
A Scalable Physical Memory Allocation Scheme for L4 Microkernel. 488-493 - Burak Çiflikli, Onur Özcan, Ahmet Bora Uysal:
Model Driven Software Development for Military Command and Control Systems. 494-497
Panel 4: A Perspective of Software Trustworthiness Based on Finance Industry
- Baris Sarialioglu:
A perspective of software trustworthiness based on finance industry. 498
Cloud Computing II
- Vincent C. Emeakaroha, Tiago C. Ferreto, Marco Aurélio Stelmar Netto, Ivona Brandic, César A. F. De Rose:
CASViD: Application Level Monitoring for SLA Violation Detection in Clouds. 499-508 - Haibo Mi, Huaimin Wang, Hua Cai, Yangfan Zhou, Michael R. Lyu, Zhenbang Chen:
P-Tracer: Path-Based Performance Profiling in Cloud Computing Systems. 509-514 - Quang Tran, Hiroyuki Sato:
A Solution for Privacy Protection in MapReduce. 515-520
Smart and Semantic Computing
- Satyajeet Raje, Chowdary Davuluri, Michael A. Freitas, Rajiv Ramnath, Jay Ramanathan:
Using Semantic Web Technologies for RBAC in Project-Oriented Environments. 521-530 - Ali Khalili, Sören Auer, Daniel Hladky:
The RDFa Content Editor - From WYSIWYG to WYSIWYM. 531-540 - Iman Keivanloo, Juergen Rilling, Philippe Charland:
Semantic Web - The Missing Link in Global Source Code Analysis? 541-550 - Sana Hamdi, Alda Lopes Gançarski, Amel Bouzeghoub, Sadok Ben Yahia:
Enriching the DBpedia Ontology with Shared Conceptualizations from Folksonomies. 551-556
Application II
- Florian Skopik, Christian Wagner:
Novel Energy Saving Opportunities in Smart Grids Using a Secure Social Networking Layer. 557-566 - Lei Chen, Ji-Jiang Yang, Qing Wang:
Privacy-Preserving Data Publishing for Free Text Chinese Electronic Medical Records. 567-572 - Andreas Holzinger, Klaus-Martin Simonic, Pinar Yildirim:
Disease-Disease Relationships for Rheumatic Diseases: Web-Based Biomedical Textmining an Knowledge Discovery to Assist Medical Decision Making. 573-580 - George Drosatos, Pavlos S. Efraimidis, Ioannis N. Athanasiadis, Ellie D'Hondt, Matthias Stevens:
A Privacy-Preserving Cloud Computing System for Creating Participatory Noise Maps. 581-586
HCI and Usability
- Rodrigo de A. Maues, Eduardo Freire Nakamura, Simone Diniz Junqueira Barbosa:
Influence of Anchor Management on Anchored Navigation in Mobile Maps. 587-595 - Eman A. Al-Hilo, Loay Edwar George:
Study of Fractal Color Image Compression Using YUV Components. 596-601 - Diego Dermeval, João Pimentel, Carla T. L. L. Silva, Jaelson Castro, Emanuel Santos, Gabriela Guedes, Márcia Lucena, Anthony Finkelstein:
STREAM-ADD - Supporting the Documentation of Architectural Design Decisions in an Architecture Derivation Process. 602-611
Panel 5: Cloud Computing for Developing Countries
- Tugkan Tuglular:
Panel 5: Cloud Computing for Developing Countries Panelists. 612
Mobile & Pervasive Computing
- Ulrich Bareth:
Simulating Power Consumption of Location Tracking Algorithms to Improve Energy-Efficiency of Smartphones. 613-622 - Rizwana Rizia, Mohammad Tanviruzzaman, Sheikh Iqbal Ahamed:
KnockAround: Location Based Service via Social Knowledge. 623-631 - Haibin Yang, Chang Xu, Xiaoxing Ma, Linghao Zhang, Chun Cao, Jian Lu:
ConsView: Towards Application-Specific Consistent Context Views. 632-637
Application III
- Nicola Capodieci, Giacomo Cabri, Giuliano Andrea Pagani, Marco Aiello:
An Agent-Based Application to Enable Deregulated Energy Markets. 638-647 - Rasha Osman:
Teaching Software Engineering in Developing Countries: A Position Paper. 648-653 - Ricardo Jorge Santos, Jorge Bernardino, Marco Vieira:
Leveraging 24/7 Availability and Performance for Distributed Real-Time Data Warehouses. 654-659
Real-Time and Embedded System
- Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons:
Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata. 660-669 - Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao:
Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software. 670-679 - Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi:
Scheduling and Analysis of Real-Time Software Families. 680-689
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 2025-12-05 22:22 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:
