2013 share record
persistent URL:
Kenji Taguchi , Hideaki Nishihara , Toshiaki Aoki , Fumihiro Kumeno , Koji Hayamizu , Koichi Shinozaki : Building a Body of Knowledge on Model Checking for Software Development. COMPSAC 2013 : 784-789 share record
persistent URL:
Ivor D. Addo , Sheikh Iqbal Ahamed , William C. Chu : Toward Collective Intelligence for Fighting Obesity. COMPSAC 2013 : 690-695 share record
persistent URL:
Samuel A. Ajila , Akindele A. Bankole : Cloud Client Prediction Models Using Machine Learning Techniques. COMPSAC 2013 : 134-142 share record
persistent URL:
Shaukat Ali , Tao Yue : A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines: Results from a Series of Controlled Experiments. COMPSAC 2013 : 262-267 export record
dblp key:
conf/compsac/AlkhalidLLA13 share record
persistent URL:
Abdulaziz Alkhalid , Chung-Horng Lung , Duo Liu , Samuel Ajila : Software Architecture Decomposition Using Clustering Techniques. COMPSAC 2013 : 806-811 share record
persistent URL:
Hirohisa Aman , Manami Sasaki , Kei Kureishi , Hideto Ogasawara : Application of the 0-1 Programming Model for Cost-Effective Regression Test. COMPSAC 2013 : 720-721 share record
persistent URL:
Ryoji Aoki , Hiroshi Yamamoto , Kei-ichi Iguchi , Katsuyuki Yamazaki : Realtime Guidance System in Hospital Using PHS and Android Device. COMPSAC 2013 : 451-454 export record
dblp key:
conf/compsac/AoyamaYKICNS13 share record
persistent URL:
Mikio Aoyama , Kazuo Yabuta , Tsutomu Kamimura , Souichi Inomata , Toshiya Chiba , Takashi Niwa , Koji Sakata : PROMIS: A Management Platform for Software Supply Networks Based on the Linked Data and OSLC. COMPSAC 2013 : 214-219 export record
dblp key:
conf/compsac/ArvapallyLW13 share record
persistent URL:
Ravi Santosh Arvapally , Xiaoqing (Frank) Liu , Donald C. Wunsch II : Fuzzy c-Means Clustering Based Polarization Assessment in Intelligent Argumentation System for Collaborative Decision Support. COMPSAC 2013 : 59-64 share record
persistent URL:
Elisa Bertino : Big Data - Opportunities and Challenges Panel Position Paper. COMPSAC 2013 : 479-480 export record
dblp key:
conf/compsac/BissyandeTLJR13 share record
persistent URL:
Tegawendé F. Bissyandé , Ferdian Thung , David Lo , Lingxiao Jiang , Laurent Réveillère : Popularity, Interoperability, and Impact of Programming Languages in 100, 000 Open Source Projects. COMPSAC 2013 : 303-312 share record
persistent URL:
Pedro F. Campos , Fernando Miguel Campos , João Pestana : Delineato: A Diagramming User Interface Designed Using a "What You Get is What You Need" Approach. COMPSAC 2013 : 684-689 share record
persistent URL:
Shih-Fang Chang : A Market-in-Market Collaborative Model towards Application Marketplaces. COMPSAC 2013 : 718-719 share record
persistent URL:
Che-Cheng Chang , Jichiang Tsai : Solving the Distributed Trigger Counting Problem without Any Global Assumption. COMPSAC 2013 : 200-207 share record
persistent URL:
Hsin-Chieh Chen , Yi-You Hou , Meei-Ling Hung , Zhang-Lin Wan : Speed Control for Permanent Magnet Synchronous Motor System via Quasi-sliding Mode Control. COMPSAC 2013 : 157-158 share record
persistent URL:
Shi-Jaw Chen , Chia-Hung Lin : Integrating SVM Classifier and Distribution State Estimation for Detection and Identification of AMI Customer's Meter Data. COMPSAC 2013 : 278-279 share record
persistent URL:
Jian-Liung Chen , Chia-Hung Lin , Bo-Wun Gu , Ming-Jyi Jang : Maximum Power Tracking Controller for a Wind-Driven Permanent-Magnet Synchronous Generator: Using an Approach of Chaos Synchronization. COMPSAC 2013 : 159-160 share record
persistent URL:
Rong Chen , Yaqing Liu , Zhichun Jia , Jian Gao : Isolating and Understanding Program Errors Using Probabilistic Dispute Model. COMPSAC 2013 : 633-638 share record
persistent URL:
Jinfu Chen , Qing Li , Huanhuan Wang , Rubing Huang : Describing Component Behavior Using Improved Chemical Abstract Machine. COMPSAC 2013 : 605-606 share record
persistent URL:
Tseng-Yi Chen , Hsin-Wen Wei , Nien-I Hsu , Wei-Kuan Shih : A IoT Application of Safe Building in IPv6 Network Environment. COMPSAC 2013 : 748-753 share record
persistent URL:
Xiaohong Chen , Ronghua Ye , Haiying Sun , Hong Lu : Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach. COMPSAC 2013 : 431-436 share record
persistent URL:
Jang-Ho Choi , Jae-Hyun Cho , Han-Gyu Ko , In-Young Ko : Distributed Coordination of IoT-Based Services by Using a Graph Coloring Algorithm. COMPSAC 2013 : 399-404 export record
dblp key:
conf/compsac/ChoudhariRPKZMC13 share record
persistent URL:
Ashish Choudhari , Harini Ramaprasad , Tamal Paul , Jonathan W. Kimball , Maciej J. Zawodniok , Bruce M. McMillin , Sriram Chellappan : Stability of a Cyber-physical Smart Grid System Using Cooperating Invariants. COMPSAC 2013 : 760-769 share record
persistent URL:
Daniela Carneiro da Cruz , Pedro Rangel Henriques , Jorge Sousa Pinto : Interactive Verification of Safety-Critical Software. COMPSAC 2013 : 519-528 share record
persistent URL:
Alfredo Cuzzocrea : Analytics over Big Data: Exploring the Convergence of DataWarehousing, OLAP and Data-Intensive Cloud Infrastructures. COMPSAC 2013 : 481-483 export record
dblp key:
conf/compsac/CuzzocreaB13 share record
persistent URL:
Alfredo Cuzzocrea , Elisa Bertino : Further Theoretical Contributions to a Privacy Preserving Distributed OLAP Framework. COMPSAC 2013 : 234-239 export record
dblp key:
conf/compsac/DayaratnaKT13 share record
persistent URL:
H. R. O. E. Dayaratna , Kunitake Kaneko , Fumio Teraoka : Multiple Home Agent Placement Considerations Based on Internet Service Provider Perspective in MobileIPv6. COMPSAC 2013 : 471-474 share record
persistent URL:
Dang Viet Dzung , Atsushi Ohnishi : Evaluation of Ontology-Based Checking of Software Requirements Specification. COMPSAC 2013 : 425-430 share record
persistent URL:
Birhanu Eshete , Adolfo Villafiorita , Komminist Weldemariam , Mohammad Zulkernine : EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages. COMPSAC 2013 : 375-380 export record
dblp key:
conf/compsac/EslamimehrP13 share record
persistent URL:
Mahdi Eslamimehr , Jens Palsberg : Testing versus Static Analysis of Maximum Stack Size. COMPSAC 2013 : 619-626