COMPSAC B

83 papers

YearTitle / Authors
2010A Consistency Model for Identity Information in Distributed Systems.
Thorsten Höllrigl, Jochen Dinger, Hannes Hartenstein
2010A Game Perspective of Refinement of Component Models.
Zizhen Wang, Hanpin Wang, Yongzhi Cao, Wanling Qu, Wei Jin, Meixia Zhu
2010A Know-How Recommendation System for a Software Engineering Project Course by Using the Content Filtering Technique.
Rika Kawai, Atsuo Hazeyama
2010A Method for Detecting Defects in Source Codes Using Model Checking Techniques.
Yoshitaka Aoki, Saeko Matsuura
2010A Model-Based Design Tool of Automotive Software Architecture.
Jeong-Si Kim, Chaedeok Lim, Tae-Man Han
2010A New Concurrent Checkpoint Mechanism for Real-Time and Interactive Processes.
Jianwei Liao, Yutaka Ishikawa
2010A Novel Rubbing Encryption Algorithm and the Implementation of a Web Based One-Time Password Token.
Fred Cheng
2010A Personalized Navigation Guide Using a Social-Spatial Ontology.
Hyunho Park, Gonzalo Huerta Cánepa, Dongman Lee, Ho Namkoong, Byoungoh Kim, Soon J. Hyun
2010A Petri Net-Based Algorithm for RFID Event Detection.
Chunxiang Xu, Yu Huang, Wanling Qu, Hanpin Wang, Xiaojuan Ban
2010A Petri Net-Based Method for Data Validation of Web Services Composition.
Chunxiang Xu, Wanling Qu, Hanpin Wang, Zizhen Wang, Xiaojuan Ban
2010A Scalable and Efficient Path Management Scheme for Internet-Based Sensor Data Delivery Infrastructure.
Kyungmin Cho, Younghyun Ju, SungJae Jo, Yunseok Rhee, Junehwa Song
2010A Study on the Applicability of Modified Genetic Algorithms for the Parameter Estimation of Software Reliability Modeling.
Chao-Jung Hsu, Chin-Yu Huang
2010A Task-Oriented Navigation Approach to Enhance Architectural Description Comprehension.
Wenhui Zhu, Yang Tao, Gang Huang, Yanchun Sun, Hong Mei
2010A Usability-Pattern-Based Requirements-Analysis Method to Bridge the Gap between User Tasks and Application Features.
Sang-Hyun Lee, In-Young Ko, Sungwon Kang, Danhyung Lee
2010A Weaker Knowledge Connectivity Condition Sufficient for Fault-Tolerant Consensus with Unknown Participants.
Jichiang Tsai, Che-Cheng Chang
2010An Adaptation Approach for Component-Based Software Architecture.
Derdour Makhlouf, Philippe Roose, Marc Dalmau, Nacira Ghoualmi-Zine, Adel Alti
2010An Analysis of Tool-Based Research in Software Engineering.
Jonas Helming, Maximilian Koegel, Hoda Naguib, Miriam Schmidberger, Florian Schneider, Bernd Brügge
2010An Approach for Ensuring Robust Safeguard against Location Privacy Violation.
Chowdhury Sharif Hasan, Sheikh Iqbal Ahamed
2010An Automatic Configuration Approach to Improve Real-Time Application Throughput While Attaining Determinism.
Xiaowei Zhang, Donggang Cao, Yunpeng Gao, Xiangqun Chen, Hong Mei
2010An Efficient Source Allocation Approach for QoS Support in P2PTV Systems.
Yaw-Chung Chen, Shang-Shu Li, Kuan-Teng Chen
2010An Empirical Comparison of Fault-Prone Module Detection Approaches: Complexity Metrics and Text Feature Metrics.
Osamu Mizuno, Hideaki Hata
2010An Interactive Change Impact Analysis Based on an Architectural Reflexion Model Approach.
Tae-Hyung Kim, Kimun Kim, Woomok Kim
2010An Ontology-Based Approach to Reengineering Enterprise Software for Cloud Computing.
Hong Zhou, Hongji Yang, Andrew Hugill
2010An Optimized Checkpointing Based Learning Algorithm for Single Event Upsets.
S. Sharanyan, Arvind Kumar
2010AntiBot: Clustering Common Semantic Patterns for Bot Detection.
Young Hee Park, Qinghua Zhang, Douglas S. Reeves, Vikram Mulukutla
2010Applying Particle Swarm Optimization to Pairwise Testing.
Xiang Chen, Qing Gu, Jingxian Qi, Daoxu Chen
2010Behavior Monitoring in Self-Healing Service-Oriented Systems.
Harald Psaier, Florian Skopik, Daniel Schall, Schahram Dustdar
2010Challenges and Future Directions of Cyber-Physical System Software.
K. H. (Kane) Kim
2010Challenges and Future Directions of Software Technology: Secure Software Development.
Bhavani Thuraisingham, Kevin W. Hamlen
2010Challenges and Future Directions of Software Technology: The Need for Explicit Programming Environments.
John L. Gustafson
2010Change Impact Analysis Based on a Taxonomy of Change Types.
Xiaobing Sun, Bixin Li, Chuanqi Tao, Wanzhi Wen, Sai Zhang
2010Design and Analysis of Cost-Cognizant Test Case Prioritization Using Genetic Algorithm with Test History.
Yu-Chi Huang, Chin-Yu Huang, Jun-Ru Chang, Tsan-Yuan Chen
2010Design and Implementation of a Middleware for Development and Provision of Stream-Based Services.
Seungwoo Kang, Youngki Lee, Sunghwan Ihm, Souneil Park, Su Myeon Kim, Junehwa Song
2010Detect Related Bugs from Source Code Using Bug Information.
Deqing Wang, Mengxiang Lin, Hui Zhang, Hongping Hu
2010Effective Software Bug Localization Using Spectral Frequency Weighting Function.
Hua Jie Lee, Lee Naish, Kotagiri Ramamohanarao
2010Efficient Color Image Compression Using Demosaicing.
Evgeny Gershikov, Moshe Porat
2010Exploring Query Optimization in Programming Codes by Reducing Run-Time Execution.
Venkata Krishna Suhas Nerella, Swetha Surapaneni, Sanjay Kumar Madria, Thomas Weigert
2010Filtering of Inconsistent Software Project Data for Analogy-Based Effort Estimation.
Tuan Khanh Le-Do, Kyung-A Yoon, Yeong-Seok Seo, Doo-Hwan Bae
2010GenRed: A Tool for Generating and Reducing Object-Oriented Test Cases.
Hojun Jaygarl, Kai-Shin Lu, Carl K. Chang
2010Green Computing Methodology for Next Generation Computing Scientists.
Chia-Tien Dan Lo, Kai Qian
2010Human Desire Inference Process Based on Affective Computing.
Jeyoun Dong, Hen-I Yang, Katsunori Oyama, Carl K. Chang
2010IPTV Micropayment System Based on Hash Chain Using RFID-USB Module.
Yoon-Su Jeong, Ning Sun, Sang-Ho Lee
2010Improving Software Performance and Reliability with an Architecture-Based Self-Adaptive Framework.
Xu Zhang, Chung-Horng Lung
2010Internetware: Challenges and Future Direction of Software Paradigm for Internet as a Computer.
Hong Mei
2010Key Roles of Session State: Not against REST Architectural Style.
Takeru Inoue, Hiroshi Asakura, Hiroshi Sato, Noriyuki Takahashi
2010Managing Consistency between Textual Requirements, Abstract Interactions and Essential Use Cases.
Massila Kamalrudin, John C. Grundy, John G. Hosking
2010Metamodel Recovery from Multi-tiered Domains Using Extended MARS.
Qichao Liu, Barrett R. Bryant, Marjan Mernik
2010Minimising the Preparation Cost of Runtime Testing Based on Testability Metrics.
Alberto González-Sanchez, Éric Piel, Hans-Gerhard Groß, Arjan J. C. van Gemund
2010Model of Reliability of the Software with Coxian Distribution of Length of Intervals between the Moments of Detection of Errors.
Vladimir P. Bubnov, Alexey V. Tyrva, Anatoly D. Khomonenko
2010Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus.
Wei Jin, Hanpin Wang, Yongzhi Cao, Zizhen Wang, Xiaojuan Ban
2010PAAKL: Password Authentication Using Behavioral Metrics.
Anestis A. Toptsis, Joshua Majonis
2010Panel Description: Are We Headed towards Smart Solutions?
Rajesh Subramanyan
2010Panel Description: Joint COMPSAC/SAINT Panel: Future of the Internet.
Eiji Kawai, Elisa Bertino, Sue Moon
2010Panel Description: Joint COMPSAC/SAINT Panel: Green IT - From Devices to Applications.
Tohru Asami, Sahra Sedigh
2010Panel Description: Towards New Roles and System Architecture Supporting the Full Life Cycle of Smart Spaces.
Sumi Helal
2010Plenary Panel Description: Challenges and Future Directions of Software Technology.
Stephen S. Yau
2010Position Statement: Joint COMPSAC/SAINT Panel: Future of the Internet: Activity Status of New-Generation Network Design.
Hiroaki Harai
2010Position Statement: Joint COMPSAC/SAINT Panel: Future of the Internet: What Can We Do to Support Super-Broadband Traffic in the Future Network?
Kohei Shiomoto
2010Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, Seoul, Korea, 19-23 July 2010
Sheikh Iqbal Ahamed, Doo-Hwan Bae, Sung Deok Cha, Carl K. Chang, Rajesh Subramanyan, W. Eric Wong, Hen-I Yang
2010Process Patterns for Web Engineering.
Reza Babanezhad, Yusef Mehrdad Bibalan, Raman Ramsin
2010QoS-Based Dynamic Web Service Composition with Ant Colony Optimization.
Wei Zhang, Carl K. Chang, Taiming Feng, Hsinyi Jiang
2010Reasoning about Human Intention Change for Individualized Runtime Software Service Evolution.
Ming Hua, Carl K. Chang, Katsunori Oyama, Hen-I Yang
2010Reconnection of the Pre-assigning Peers in the Seamless Video Streaming.
Ilhom Karimov, Nuriddin Rayimov, Jing Liu, Jungwook Song, Sungchol Cho, Sunyoung Han, Chinchol Kim
2010Representing and Reasoning about Web Access Control Policies.
Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, Yunsong Meng
2010SAT: Switchable Address Translation for Flash Memory Storages.
Yeonseung Ryu
2010Security in Context: Analysis and Refinement of Software Architectures.
Thomas Heyman, Riccardo Scandariato, Wouter Joosen
2010Software Development Productivity: Challenges and Future Trends.
Vladimir Getov
2010Specifying Time-Sensitive Systems with TLA+.
Hehua Zhang, Ming Gu, Xiaoyu Song
2010Supporting Design Enhancement by Pattern-Based Transformation.
Nien-Lin Hsueh, Peng-Hua Chu, Pao-Ann Hsiung, Min-Ju Chuang, William C. Chu, Chih-Hung Chang, Chorng-Shiuh Koong, Chihhsiong Shih
2010Synchronized Architecture Evolution in Software Product Line Using Bidirectional Transformation.
Liwei Shen, Xin Peng, Jiayi Zhu, Wenyun Zhao
2010Systematic Composition and Verification of Abstract Components.
Yunja Choi
2010Target Setting for Technical Requirements in Time-Stamped Software Quality Function.
Xiaoqing Frank Liu, Praveen Inuganti, Kunio Noguchi, Yuji Kyoya
2010Team Factors and Failure Processing Efficiency: An Exploratory Study of Closed and Open Source Software Development.
Michael Grottke, Lars M. Karg, Arne Beckhaus
2010Timing Analyzing for Systems with Task Execution Dependencies.
Yue Lu, Thomas Nolte, Iain Bate, Christer Norström
2010Towards Secure Virtual Directories: A Risk Analysis Framework.
William R. Claycomb, Dongwan Shin
2010Towards a General Framework for Evaluating Software Development Methodologies.
Shokoofeh Hesari, Hoda Mashayekhi, Raman Ramsin
2010Transformation Rules for Synthesis of UML Activity Diagram from Scenario-Based Specification.
Sungwon Kang, Hyunho Kim, Jongmoon Baik, Ho-Jin Choi, ChangSup Keum
2010Using Load Tests to Automatically Compare the Subsystems of a Large Enterprise System.
Haroon Malik, Bram Adams, Ahmed E. Hassan, Parminder Flora, Gilbert Hamann
2010Using Semantics-Enabled Information Retrieval in Requirements Tracing: An Ongoing Experimental Investigation.
Anas Mahmoud, Nan Niu
2010Using a Hypervisor to Migrate Running Operating Systems to Secure Virtual Machines.
Tsutomu Nomoto, Yoshihiro Oyama, Hideki Eiraku, Takahiro Shinagawa, Kazuhiko Kato
2010Variability Modeling for Product Line Viewpoints Integration.
Nan Niu, Juha Savolainen, Yijun Yu
2010geoXmart - A Marketplace for Geofence-Based Mobile Services.
Ulrich Bareth, Axel Küpper, Peter Ruppel
2010ucR Based Interoperable Spatial Information Model for Realizing Ubiquitous Spatial Infrastructure.
Yukihiko Shigesada, Shinsuke Kobayashi, Noboru Koshizuka, Ken Sakamura