default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID39th COMPSAC 2015: Taichung, Taiwan
- Sheikh Iqbal Ahamed, Carl K. Chang, William C. Chu, Ivica Crnkovic, Pao-Ann Hsiung, Gang Huang, Jingwei Yang:
39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2. IEEE Computer Society 2015, ISBN 978-1-4673-6563-5
COMPSAC Keynote Abstracts
- Mikio Aoyama:
Software Engineering for the Connected Automobiles: Opportunities and Challenges. 1 - Yi-Bing Lin:
Big Data and Potential Traffic Information Applications. 2 - Tsugio Makimoto:
Chip Technologies as the Engine for IT Revolution. 3
ECpE: COMPSAC Symposium on Embedded and Cyber-physical Environments
- Tiberiu Seceleanu
, Rajesh Subramanyan, Cristina Seceleanu, Bruce M. McMillin:
Message from ECpE Symposium Organizing Committee. 4
ECpE 1: Cyber-physical Systems
- Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun:
Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. 5-14
ECpE 2: Embedded Systems Design, Analysis, and Ethics
- Alfredo Cuzzocrea, Enzo Mumolo, Riccardo Cecolin:
Runtime Anomaly Detection in Embedded Systems by Binary Tracing and Hidden Markov Models. 15-22 - Heesuk Son, Bjorn Tegelund, Taehun Kim, Dongman Lee, Soon J. Hyun, Junsung Lim, Hyunseok Lee:
A Distributed Middleware for a Smart Home with Autonomous Appliances. 23-32 - Yuanyuan Hou, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Zhiping Shi, Jie Zhang:
Embedded System Design with Reliability-Centric Optimization. 33-38 - Abhilash Thekkilakattil, Gordana Dodig-Crnkovic:
Ethics Aspects of Embedded and Cyber-Physical Systems. 39-44
ECpE 3: Cyber-physical Systems 2
- Cristina Seceleanu:
Cyber-physical Systems: Interoperability and Distributed Intelligence. 45 - Tiziana Margaria:
Which IT Governance for Distributed Intelligent Cyber-Physical Systems? 46-47 - Bruce M. McMillin:
Distributed Intelligence in the Electric Smart Grid. 48 - Tiberiu Seceleanu:
Complex Systems: Simply, Improve Life. 49 - Li Feng, Bruce M. McMillin:
Information Flow Quantification Framework for Cyber Physical System with Constrained Resources. 50-59
SETA: COMPSAC Symposium on Software Engineering Technologies and Applications
- Doris L. Carver, Hongji Yang, W. K. Chan, Carl K. Chang:
Message from SETA Symposium Organizing Committee. 60-61
SETA 1: Requirements Engineering
- Shinobu Saito, Yukako Iimura, Mikio Aoyama:
REO: Requirements Engineering Ontology Spectrum Analysis of Requirements Engieering Knowledge and Its Practical Application. 62-70 - Haihua Xie, Carl K. Chang:
Detection of New Intentions from Users Using the CRF Method for Software Service Evolution in Context-Aware Environments. 71-76 - Wei Liu, Ming Li:
Requirements Planning with Event Calculus for Runtime Self-Adaptive System. 77-82 - Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami:
Checking Accountability with a Prover. 83-88 - Norifumi Nomura, Mikio Aoyama, Yasuhiro Kikushima:
A Continuous Stakeholder Management Method throughout the System Life Cycle and Its Evaluation. 89-94
SETA 2: Testing and Debugging
- Hideto Ogawa, Makoto Ichii, Fumihiro Kumeno, Toshiaki Aoki:
Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking. 95-104 - Xingya Wang, Shujuan Jiang, Xiaolin Ju, Heling Cao, Yingqi Liu:
Mitigating the Dependence Confounding Effect for Effective Predicate-Based Statistical Fault Localization. 105-114 - Xiaoshuang Yang, Mengleng Liu, Ming Cao, Lei Zhao, Lina Wang:
Regression Identification of Coincidental Correctness via Weighted Clustering. 115-120 - Xiaoyi Zhang, Dave Towey, Tsong Yueh Chen, Zheng Zheng, Kai-Yuan Cai:
Using Partition Information to Prioritize Test Cases for Fault Localization. 121-126
SETA 3: Modeling and Language Design
- Bei Cheng, Xiao Wang, Jufu Liu, Dehui Du:
Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs. 127-136 - YungYu Zhuang, Shigeru Chiba:
Enabling the Automation of Handler Bindings in Event-Driven Programming. 137-146 - Lijun Shan, Chenglie Du, Hong Zhu:
Modeling and Simulating Adaptive Multi-agent Systems with CAMLE. 147-152 - Jens Bürger, Stefan Gärtner, Thomas Ruhroth, Johannes Zweihoff, Jan Jürjens, Kurt Schneider:
Restoring Security of Long-Living Systems by Co-evolution. 153-158
SETA 4: Mobile and Cloud Applications
- Paulo Artur de Sousa Duarte, Felipe Mota Barreto, Francisco Anderson de Almada Gomes, Windson Viana de Carvalho, Fernando Antonio Mota Trinta:
CRITiCAL: A Configuration Tool for Context Aware and mobiLe Applications. 159-168 - Chris Apfelbeck, Martin Fritz, Jan Jürjens, Johannes Zweihoff:
Preserving Validity of Batch-Job Nets under Change at Run-Time. 169-178 - Siqi Ma, Shaowei Wang, David Lo, Robert Huijie Deng, Cong Sun:
Active Semi-supervised Approach for Checking App Behavior against Its Description. 179-184 - Feng Chen, Weizhong Qiang, Hai Jin, Deqing Zou, Duoqiang Wang:
Multi-version Execution for the Dynamic Updating of Cloud Applications. 185-190
SETA 5: Analysis
- Dishant Munjal, Jagannath Singh, Subhrakanta Panda, Durga Prasad Mohapatra:
Automated Slicing of Aspect-Oriented Programs Using Bytecode Analysis. 191-199 - Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu:
Complete Runtime Tracing for Device Drivers Based on LLVM. 200-209 - Hsiang-Lin Wen, Chia-Hui Lin, Tzong-Han Hsieh, Cheng-Zen Yang:
PATS: A Parallel GUI Testing Framework for Android Applications. 210-215 - Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae:
Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. 216-221
SETA 6: Testing and Debugging 2
- Yuan Gao, Hui Liu, Xiaozhong Fan, Zhendong Niu, Bridget Nyirongo:
Analyzing Refactorings' Impact on Regression Test Cases. 222-231 - Hao Jin, Yanyan Jiang, Na Liu, Chang Xu, Xiaoxing Ma, Jian Lu:
Concolic Metamorphic Debugging. 232-241 - Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa:
Priority Integration for Weighted Combinatorial Testing. 242-247 - Haowen Zhu, Xiaojun Ye, Xiaojun Zhang, Ke Shen:
A Context-Aware Approach for Dynamic GUI Testing of Android Applications. 248-253
SETA 7: Empirical Study
- Weiqin Zou, Xin Xia, Weiqiang Zhang, Zhenyu Chen, David Lo:
An Empirical Study of Bug Fixing Rate. 254-263 - Yun Zhang, David Lo, Xin Xia, Jianling Sun:
An Empirical Study of Classifier Combination for Cross-Project Defect Prediction. 264-269 - Thainá Mariani, Silvia Regina Vergilio, Thelma Elita Colanzi:
Search Based Design of Layered Product Line Architectures. 270-275 - Wangshu Liu, Shulong Liu, Qing Gu, Xiang Chen, Daoxu Chen:
FECS: A Cluster Based Feature Selection Method for Software Fault Prediction with Noises. 276-281 - Sihan Xu, Jing Xu, Hongji Yang, Jufeng Yang, Chenkai Guo, Liying Yuan, Wenli Song, Guannan Si:
An Improvement to Fault Localization Technique Based on Branch-Coverage Spectra. 282-287
SETA 8: Software-Based Services
- Hongda Wang, Jianchun Xing, Qiliang Yang, Deshuai Han, Xuewei Zhang:
Modification Impact Analysis Based Test Case Prioritization for Regression Testing of Service-Oriented Workflow Applications. 288-297 - Xiao He, Yanmei Fu, Chang-Ai Sun, Zhiyi Ma, Weizhong Shao:
Towards Model-Driven Variability-Based Flexible Service Compositions. 298-303 - Libo Zhou, Lei Xu, Baowen Xu, Hongji Yang:
Generating Test Cases for Composite Web Services by Parsing XML Documents and Solving Constraints. 304-309 - Haicheng Li, Chun Cao, XianPing Tao:
Hot Deployment with Dependency Reconstruction. 310-315
SETA 9: Software Architecture and Quality
- Ling Wu, Qian Wu, Guangtai Liang, Qianxiang Wang, Zhi Jin:
Transforming Code with Compositional Mappings for API-Library Switching. 316-325 - Reinhold Plösch, Severin Schuerz, Christian Körner:
On the Validity of the IT-CISQ Quality Model for Automatic Measurement of Maintainability. 326-334
TAIN: COMPSAC Symposium on Technologies and Applications of the Internet
- Tugkan Tuglular, Ying Cai, Schahram Dustdar, Katsuyuki Yamazaki:
Message from TAIN Symposium Organizing Committee. 335
TAIN 1: Network Traffic
- Sophon Mongkolluksamee, Vasaka Visoottiviseth, Kensuke Fukuda:
Enhancing the Performance of Mobile Traffic Identification with Communication Patterns. 336-345 - Xun Shao, Masahiro Jibiki, Yuuichi Teranishi, Nozomu Nishinaga:
A Virtual Node-Based Flash Crowds Alleviation Method for Sensor Overlay Networks. 346-354 - Kohei Tsutsumi, Hiroyuki Ohsaki, Hideaki Suzuki:
A Distributed Flow Control with Backward Propagation. 355-360 - Toyokazu Akiyama, Yukiko Kawai, Yuuichi Teranishi, Ryohei Banno, Katsuyoshi Iida:
SAPS: Software Defined Network Aware Pub/Sub - A Design of the Hybrid Architecture Utilizing Distributed and Centralized Multicast. 361-366
TAIN 2: Network Applications and Security
- Hong Va Leong, Alvin T. S. Chan, Grace Ngai:
Approximate Web Database Snapshots. 367-376 - Xiang Ji, Yicheng Liang, Malathi Veeraraghavan, Steve Emmerson:
File-Stream Distribution Application on Software-Defined Networks (SDN). 377-386 - Wen-Kang Jia, Gen-Hen Liu, Yaw-Chung Chen:
NAT-Aware Peer Grouping and Chunk Scheduling for Mesh-Pull P2P Live Streaming Systems. 387-392 - Yong Jin, Kenji Fujikawa, Hiroaki Harai, Masataka Ohta:
Secure Glue: A Cache and Zone Transfer Considering Automatic Renumbering. 393-398
TAIN 3: Cloud Management
- Sa Wang, Wenbo Zhang, Tao Wang, Chunyang Ye, Tao Huang:
VMon: Monitoring and Quantifying Virtual Machine Interference via Hardware Performance Counter. 399-408 - Xue'e Zeng, Xingtu Lan, Xing Chen, Wenzhong Guo:
A Runtime Architecture Based Framework Managing Hybrid Clouds. 409-414 - Ali Yadavar Nikravesh, Samuel Ajila, Chung-Horng Lung:
Evaluating Sensitivity of Auto-Scaling Decisions in an Environment with Different Workload Patterns. 415-420
SEPT: COMPSAC Symposium on Security, Privacy and Trust Computing
- Bhavani Thuraisingham, Dianxiang Xu, Hiroki Takakura, Mohammad Zulkernine, Elisa Bertino:
Message from SEPT Symposium Organizing Committee. 421
SEPT 1: Malware Analysis
- Martina Lindorfer, Matthias Neugschwandtner, Christian Platzer:
MARVIN: Efficient and Comprehensive Mobile App Classification through Static and Dynamic Analysis. 422-433 - Lei Zhao, Run Wang, Lina Wang, Yueqiang Cheng:
Reversing and Identifying Overwritten Data Structures for Memory-Corruption Exploit Diagnosis. 434-443 - Yuta Takata, Mitsuaki Akiyama, Takeshi Yagi, Takeo Hariu, Shigeki Goto:
MineSpider: Extracting URLs from Environment-Dependent Drive-by Download Attacks. 444-449
SEPT 2: Bufferoverflow Prevention
- Bindu Madhavi Padmanabhuni, Hee Beng Kuan Tan:
Buffer Overflow Vulnerability Prediction from x86 Executables Using Static Analysis and Machine Learning. 450-459 - Chao-Chun Yeh, Hsiang Chung, Shih-Kun Huang:
CRAXfuzz: Target-Aware Symbolic Fuzz Testing. 460-471 - Ki-Jin Eom, Joon-Young Paik, Seong-Kyun Mok, Hyeon-Gu Jeon, Eun-Sun Cho, Dong-Woo Kim, Jaecheol Ryu:
Automated Crash Filtering for ARM Binary Programs. 478-483
SEPT 3: Access Control
- Jun Pang, Yang Zhang:
Cryptographic Protocols for Enforcing Relationship-Based Access Control Policies. 484-493 - Mengyu Qiao, Suiyuan Zhang, Andrew H. Sung, Qingzhong Liu:
A Novel Touchscreen-Based Authentication Scheme Using Static and Dynamic Hand Biometrics. 494-503 - Yan Zhu, Feng Pu, Guohua Gan, Ruiqi Guo, Shuqing Zhang:
Traitor Tracing and Revocation for Secure Decoders in File Syncing-and-Sharing Service. 504-509 - Apala Ray, Johan Åkerberg, Mats Björkman, Rolf Blom, Mikael Gidlund:
Applicability of LTE Public Key Infrastructure Based Device Authentication in Industrial Plants. 510-515
SEPT 4: Attack Prevention
- Deanna Hlavacek, J. Morris Chang:
Design and Analysis of a Method for Synoptic Level Network Intrusion Detection. 516-524 - Yang Zhong, Hiroshi Asakura, Hiroki Takakura, Yoshihito Oshima:
Detecting Malicious Inputs of Web Application Parameters Using Character Class Sequences. 525-532 - Nan Zong, Chunfu Jia:
Software Watermarking Using Support Vector Machines. 533-542
MOWU: COMPSAC Symposium on Mobile, Wearable, and Ubiquitous Computing
- Axel Küpper, Hong Va Leong, Paolo Bellavista, J. Morris Chang, Vladimir Getov:
Message from MOWU Symposium Organizing Committee. 543-544
MOWU 1: Crowdsourcing and Sensing
- Jiangtao Wang, Yasha Wang, Junfeng Zhao:
Helping Campaign Initiators Create Mobile Crowd Sensing Apps: A Supporting Framework. 545-552 - Petar Mrazovic, Mihhail Matskin:
MobiCS: Mobile Platform for Combining Crowdsourcing and Participatory Sensing. 553-562 - Samuel Jia Wei Tang, Kok Yew Ng, Boon How Khoo, Jussi Parkkinen:
Real-Time Lane Detection and Rear-End Collision Warning System on a Mobile Computing Platform. 563-568 - Weng Chuen Chew, Kok Yew Ng, Boon How Khoo:
ReCon-AVe: Remote Controlled Automobile Vehicle for Data Mining and Analysis. 569-574
MOWU 2: Context Awareness
- Saloua Zammali, Khedija Arour, Amel Bouzeghoub:
A Context Features Selecting and Weighting Methods for Context-Aware Recommendation. 575-584 - Sandro Rodriguez Garzon, Bersant Deva:
On the Evaluation of Proactive Location-Based Services. 585-594 - Jiangtao Wang, Yasha Wang, Yafei Wang, Junfeng Zhao:
A Situation-Aware and Interactive System for Assisting People Fill out Paper Forms. 595-600 - Seiji Matsuyama, Takatomo Yamabe, Ryozo Kiyohara:
On-vehicle Information Devices Based on User Context. 601-606
MOWU 3: Virtual Machines and Embedded Systems
- Fikirte Teka, Chung-Horng Lung, Samuel Ajila:
Seamless Live Virtual Machine Migration with Cloudlets and Multipath TCP. 607-616 - Arthur Francisco Lorenzon, Anderson Luiz Sartor, Márcia C. Cera, Antonio Carlos Schneider Beck:
The Influence of Parallel Programming Interfaces on Multicore Embedded Systems. 617-625 - Anderson Luiz Sartor, Arthur Francisco Lorenzon, Antonio Carlos Schneider Beck:
The Impact of Virtual Machines on Embedded Systems. 626-631 - Xiangyu Wu, Chang Xu, Ziling Lu, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu:
CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps. 632-637
MOWU 4: Networking and Systems
- Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt:
Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. 638-646 - Kazunori Miyoshi, Masahiro Jibiki, Tutomu Murase:
Self-Organization of Shortest Spanning Tree and Optimal Sink Node Position for Various Shapes of Large-Scale Wireless Sensor Networks. 647-652 - Awdren de Lima Fontão, Rodrigo Pereira dos Santos, Arilo Claudio Dias-Neto:
Mobile Software Ecosystem (MSECO): A Systematic Mapping Study. 653-658 - Jang-Ping Sheu, Chao-Xiang Hsu, Chuang Ma:
A Game Theory Based Congestion Control Protocol for Wireless Personal Area Networks. 659-664
WEDA: COMPSAC Symposium on Web Technologies and Data Analytics
- Guohui Xiao, Juergen Rilling, Tian Xia:
Message from WEDA Organizing Committee. 665
WEDA 1: Web Technologies
- Yanchun Sun, Dejian Chen, Chao Xin, Wenpin Jiao:
Automating Repetitive Tasks on Web-Based IDEs via an Editable and Reusable Capture-Replay Technique. 666-675 - Yun Ma, Xuanzhe Liu, Zhen Huang, Hong Mei:
Carpet: Automating Collaborative Web-Based Process across Multiple Devices by Capture-and-Replay. 676-685 - Serkan Ayvaz, Mehmet Aydar, Austin Melton:
Building Summary Graphs of RDF Data in Semantic Web. 686-691
WEDA 2: Data Analytics
- Xinhuan Chen, Yong Zhang, Pengfei Ma, Chao Li, Chunxiao Xing:
A Package Generation and Recommendation Framework Based on Travelogues. 692-701 - Qingcheng Hu, Yong Zhang, Xinhui Xu, Chao Li, Chunxiao Xing:
RMDN: New Approach to Maximize Influence Spread. 702-711 - Alfredo Cuzzocrea, Wookey Lee, Carson K. Leung:
High-Recall Information Retrieval from Linked Big Data. 712-717
HUMA: COMPSAC Symposium on Human-Machine and Aware Computing
- James H. Oliver, Mu-Chun Su, Katsunori Oyama, Johnny Wong:
Message from HUMA Symposium Organizing Committee. 718
HUMA 1: HCI and Affective Computing
- Te-Feng Su, Ching-Hua Weng, Shang-Hong Lai:
Novel Facial Expression Recognition by Combining Action Unit Detection with Sparse Representation Classification. 719-725 - Mohammad Adibuzzaman, Colin Ostberg, Sheikh Iqbal Ahamed, Richard J. Povinelli, Bhagwant Sindhu, Richard Love, Ferdaus Ahmed Kawsar, Golam Mushih Tanimul Ahsan:
Assessment of Pain Using Facial Pictures Taken with a Smartphone. 726-731
HUMA 2: Intelligent Classification Systems
- Mu-Chun Su:
An SOM-Based Motion Trajectory Recognition Algorithm and Its Application in Monitoring Therapeutic Exercises. 732 - A. K. M. Jahangir Alam Majumder, Sheikh Iqbal Ahamed, Richard J. Povinelli, Chandana P. Tamma, Roger O. Smith:
A Novel Wireless System to Monitor Gait Using Smartshoe-Worn Sensors. 733-741 - Andri Santoso, Chien-Yao Wang, Tzu-Chiang Tai, Jia-Ching Wang:
Kernel Sparse Representation Classifier with Center Enhanced SPM for Vehicle Classification. 742-746
NATA: COMPSAC Symposium on Novel Applications and Technology Advances in Computing
- Hiroyuki Sato, Ali R. Hurson, Sahra Sedigh Sarvestani, Sheikh Iqbal Ahamed:
Message from NATA Symposium Organizing Committee. 747
NATA 1: Advanced Computing Environments
- Ting-Chou Lin, Ching-Chi Lin, Ting-Wei Chang, Pangfeng Liu, Jan-Jan Wu, Chia Chun Shih, Chao-Wen Huang:
Job Dispatching and Scheduling for Heterogeneous Clusters - A Case Study on the Billing Subsystem of CHT Telecommunication. 748-757 - Su-Shien Ho, Chun-Feng Wu, Jiazheng Zhou, Wenguang Chen, Ching-Hsien Hsu, Hung-Chang Hsiao, Yeh-Ching Chung:
Distributed Metaserver Mechanism and Recovery Mechanism Support in Quantcast File System. 758-763 - Yunjoo Park, Hyokyung Bahn:
Management of Virtual Memory Systems under High Performance PCM-based Swap Devices. 764-772
NATA 2: Panel
- Ali R. Hurson, Axel Küpper, Kin-ichi Yoshida:
The Inaugural Panel on Novel Applications and Technology Advances in Computing. 773
NATA 3: Advanced Optimizations
- Ming-Chang Lee, Fang-Yie Leu, Ying-Ping Chen:
ReMBF: A Reliable Multicast Brute-Force Co-allocation Scheme for Multi-user Data Grids. 774-783 - Jun Ma, XianPing Tao, Haijun Wu, Jian Lu:
ReCEC: Resolving Conflicts of Environmental Constraints among Multiple Applications in a Smart Space. 784-789 - Sean Lander, Yi Shang:
EvoAE - A New Evolutionary Method for Training Autoencoders for Deep Learning Networks. 790-795
NATA 4: Social Network
- Takuya Kubota, Masayoshi Aritsugi:
How Many Ground Truths Should We Insert? Having Good Quality of Labeling Tasks in Crowdsourcing. 796-805 - Linhai He, Xia Xie, Hai Jin, Fangming Liu, Xijiang Ke:
Harnessing Dynamic Interests of Crowd in Chinese Online Shopping Festivals. 806-815 - Bin Chen, Ping Yu, Chun Cao, Feng Xu, Jian Lu:
ConRec: A Software Framework for Context-Aware Recommendation Based on Dynamic and Personalized Context. 816-821 - George Drosatos, Pavlos S. Efraimidis, Avi Arampatzis, Giorgos Stamatelatos, Ioannis N. Athanasiadis:
Pythia: A Privacy-Enhanced Personalized Contextual Suggestion System for Tourism. 822-827
CELT: COMPSAC Symposium on Computer Education and Learning Technologies
- Claudio Demartini, Timothy K. Shih, Simanta Mitra, Sorel Reisman:
Message from CELT Symposium Organizing Committee. 828
CELT 1: CS as a Lifelong Discovery
- James H. Paterson, Markku Karhu, Walter Cazzola, Irina Illina, Robert Law, Dario Machiodi, Marisa Maximiano, Catarina Silva:
Experience of an International Collaborative Project with First Year Programming Students. 829-834 - Anna-Lena Lamprecht, Tiziana Margaria, Johannes Neubauer:
On the Use of XMDD in Software Development Education. 835-844 - Anna Brancaccio, Marina Marchisio, Carmela Palumbo, Claudio Pardini, Amelio Patrucco, Rodolfo Zich:
Problem Posing and Solving: Strategic Italian Key Action to Enhance Teaching and Learning Mathematics and Informatics in the High School. 845-850 - Ivana Simonova, Petra Poulova:
Social Networks and Mobile Devices in Higher Education: Pilot Project. 851-856
CELT 2: Pedagogy
- Walter Cazzola, Diego Mathias Olivares:
Gradually Learning Programming Supported by a Growable Programming Language. 857 - Gianluca Paravati, Fabrizio Lamberti, Valentina Gatteschi:
Joint Traditional and Company-Based Organization of Information Systems and Product Development Courses. 858-867 - Patricia Jean Flanagan, Rafael Gomez, Rebekah Davis:
The Pedagogic Prosthetic: Augmented Learning as Content-in-Motion in Hybrid Educational Spheres. 868-873 - Chia-Tien Dan Lo, Kai Qian, Wei Chen, Tamara Rogers, Kuosheng Ma:
Learning Hands-on Information Assurance and Security on Mobile Devices. 874-879
CELT 3: CS and Mass / Multi Media
- Leonardo Favario, Angelo Raffaele Meo, Enrico Masala:
A New Platform for Cross-Repository Creation and Sharing of Educational Resources: Architecture and a Case Study. 880 - Elena Baralis, Luca Cagliero, Laura Farinetti:
Generation and Evaluation of Summaries of Academic Teaching Materials. 881-886 - Check Yee Law, John C. Grundy, Andrew Cain, Rajesh Vasa:
A Preliminary Study of Open Learner Model Representation Formats to Support Formative Assessment. 887-892
ITiP: COMPSAC Symposium on IT in Practice
- Maria R. Lee, Steven Diamond, San Murugesan, John W. Walz, Sorel Reisman:
Message from ITiP Symposium Organizing Committee. 893
ITiP 1: IT in Practice
- David Alan Grier:
Invited Talk: Software, Markets, and the Future of Work. 894 - John W. Walz, David Alan Grier, San Murugesan, Zonyin Shae, Shuo Peng Liang:
Panel: IT in Practice: Status and Challenges. 895-896
ITiP 2: Cloud Computing in Practice
- Darlan Segalin, Altair Olivo Santin, João Eugenio Marynowski, Liandro Segalin:
An Approach to Deal with Processing Surges in Cloud Computing. 897-905 - Ivor D. Addo, Duc Do, Rong Ge, Sheikh Iqbal Ahamed:
A Reference Architecture for Social Media Intelligence Applications in the Cloud. 906-913 - Xiaoyong Yuan, Ying Li, Tong Jia, Tiancheng Liu, Zhonghai Wu:
An Analysis on Availability Commitment and Penalty in Cloud SLA. 914-919
ITiP 3: Applications of IT
- Valentina Gatteschi, Fabrizio Lamberti, Gianluca Paravati, Andrea Sanna, Claudio Giovanni Demartini, Alberto Lisanti, Giorgio Venezia:
New Frontiers of Delivery Services Using Drones: A Prototype System Exploiting a Quadcopter for Autonomous Drug Shipments. 920-927 - Kenichi Kourai, Kouki Oozono:
Virtual AMT for Unified Management of Physical and Virtual Desktops. 928-937 - Hiroshi Yamamoto, Maki Yamamoto, Katsuyuki Yamazaki:
Ultrasonic Sensor Network System Utilizing New Timing Synchronization of a ZigBee Network for Ecology Observation. 938-945
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-01 23:09 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:
