34. COMPSAC 2010:
Seoul, Korea
Sheikh Iqbal Ahamed, Doo-Hwan Bae, Sung Deok Cha, Carl K. Chang, Rajesh Subramanyan, Eric Wong, Hen-I Yang (Eds.):
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, Seoul, Korea, 19-23 July 2010.
IEEE Computer Society 2010, ISBN 978-0-7695-4085-6 
Plenary Panels and Position Statements
- Stephen S. Yau:
Plenary Panel Description: Challenges and Future Directions of Software Technology.
1
- Vladimir Getov:
Software Development Productivity: Challenges and Future Trends.
2-7
- John L. Gustafson:
Challenges and Future Directions of Software Technology: The Need for Explicit Programming Environments.
8-9
- K. H. (Kane) Kim:
Challenges and Future Directions of Cyber-Physical System Software.
10-13
- Hong Mei:
Internetware: Challenges and Future Direction of Software Paradigm for Internet as a Computer.
14-16
- Bhavani M. Thuraisingham, Kevin W. Hamlen:
Challenges and Future Directions of Software Technology: Secure Software Development.
17-20
Joint COMPSAC/SAINT Panel:
Future of the Internet
- Eiji Kawai, Elisa Bertino, Sue Moon:
Panel Description: Joint COMPSAC/SAINT Panel: Future of the Internet.
21
- Kohei Shiomoto:
Position Statement: Joint COMPSAC/SAINT Panel: Future of the Internet: What Can We Do to Support Super-Broadband Traffic in the Future Network?
22
- Hiroaki Harai:
Position Statement: Joint COMPSAC/SAINT Panel: Future of the Internet: Activity Status of New-Generation Network Design.
23
Joint COMPSAC/SAINT Panel:
Green IT - From Devices to Applications
- Tohru Asami, Sahra Sedigh:
Panel Description: Joint COMPSAC/SAINT Panel: Green IT - From Devices to Applications.
24
COMPSAC Panels
- Rajesh Subramanyan:
Panel Description: Are We Headed towards Smart Solutions?
25
- Sumi Helal:
Panel Description: Towards New Roles and System Architecture Supporting the Full Life Cycle of Smart Spaces.
26
Security & Dependability I
Software Architecture & Design I
- Jonas Helming, Maximilian Koegel, Hoda Naguib, Miriam Schmidberger, Florian Schneider, Bernd Brügge:
An Analysis of Tool-Based Research in Software Engineering.
53-61
- Wenhui Zhu, Yang Tao, Gang Huang, Yanchun Sun, Hong Mei:
A Task-Oriented Navigation Approach to Enhance Architectural Description Comprehension.
62-71
- Xu Zhang, Chung-Horng Lung:
Improving Software Performance and Reliability with an Architecture-Based Self-Adaptive Framework.
72-81
Mobile & Pervasive Computing I
Verification & Testing I
Security & Dependability II
Software Architecture & Design II
Software Quality I
Verification & Testing II
Fast Abstract I
- Evgeny Gershikov, Moshe Porat:
Efficient Color Image Compression Using Demosaicing.
244-245
- Anas Mahmoud, Nan Niu:
Using Semantics-Enabled Information Retrieval in Requirements Tracing: An Ongoing Experimental Investigation.
246-247
- Osamu Mizuno, Hideaki Hata:
An Empirical Comparison of Fault-Prone Module Detection Approaches: Complexity Metrics and Text Feature Metrics.
248-249
- Chia-Tien Dan Lo, Kai Qian:
Green Computing Methodology for Next Generation Computing Scientists.
250-251
Security & Dependability III
Software Evolution and Maintenance I
Mobile and Pervasive Computing II
Requirements Engineering
Doctoral Symposium
Smart Computing
Software Evolution and Maintenance II
Performance Engineering
Verification & Testing III
Formal Methods
- Hehua Zhang, Ming Gu, Xiaoyu Song:
Specifying Time-Sensitive Systems with TLA+.
425-430
- Sungwon Kang, Hyunho Kim, Jongmoon Baik, Ho-Jin Choi, ChangSup Keum:
Transformation Rules for Synthesis of UML Activity Diagram from Scenario-Based Specification.
431-436
- Zizhen Wang, Hanpin Wang, Yongzhi Cao, Wanling Qu, Wei Jin, Meixia Zhu:
A Game Perspective of Refinement of Component Models.
437-442
Real-Time & Embedded Systems
- Xiaowei Zhang, Donggang Cao, Yunpeng Gao, Xiangqun Chen, Hong Mei:
An Automatic Configuration Approach to Improve Real-Time Application Throughput While Attaining Determinism.
443-452
- Yeonseung Ryu:
SAT: Switchable Address Translation for Flash Memory Storages.
453-461
- Nien-Lin Hsueh, Peng-Hua Chu, Pao-Ann Hsiung, Min-Ju Chuang, William C. Chu, Chih-Hung Chang, Chorng-Shiuh Koong, Chihhsiong Shih:
Supporting Design Enhancement by Pattern-Based Transformation.
462-467
Web Engineering
- Chunxiang Xu, Wanling Qu, Hanpin Wang, Zizhen Wang, Xiaojuan Ban:
A Petri Net-Based Method for Data Validation of Web Services Composition.
468-476
- Reza Babanezhad, Yusef Mehrdad Bibalan, Raman Ramsin:
Process Patterns for Web Engineering.
477-486
- Wei Jin, Hanpin Wang, Yongzhi Cao, Zizhen Wang, Xiaojuan Ban:
Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus.
487-492
Software Quality II
Verification & Testing IV
Fast Abstracts II
- Jeong-Si Kim, Chaedeok Lim, Tae-Man Han:
A Model-Based Design Tool of Automotive Software Architecture.
541-542
- Yoshitaka Aoki, Saeko Matsuura:
A Method for Detecting Defects in Source Codes Using Model Checking Techniques.
543-544
- Ilhom Karimov, Nuriddin Rayimov, Jing Liu, Jungwook Song, Sungchol Cho, Sunyoung Han, Chinchol Kim:
Reconnection of the Pre-assigning Peers in the Seamless Video Streaming.
545-546
- Rika Kawai, Atsuo Hazeyama:
A Know-How Recommendation System for a Software Engineering Project Course by Using the Content Filtering Technique.
547-548
Last update Sat May 18 18:18:06 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
