Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences Commons™

Open Access. Powered by Scholars. Published by Universities.®

Research Collection School Of Computing and Information Systems

Discipline
Keyword
Publication Year
File Type

Articles 4801 - 4830 of 8495

Full-Text Articles in Computer Sciences

Harnessing Twitter To Support Serendipitous Learning Of Developers, Abhabhisheksh Sharma, Yuan Tian, Agus Sulistya, David Lo, Aiko Yamashita Feb 2017

Harnessing Twitter To Support Serendipitous Learning Of Developers, Abhabhisheksh Sharma, Yuan Tian, Agus Sulistya, David Lo, Aiko Yamashita

Research Collection School Of Computing and Information Systems

Developers often rely on various online resources, such as blogs, to keep themselves up-to-date with the fast pace at which software technologies are evolving. Singer et al. found that developers tend to use channels such as Twitter to keep themselves updated and support learning, often in an undirected or serendipitous way, coming across things that they may not apply presently, but which should be helpful in supporting their developer activities in future. However, identifying relevant and useful articles among the millions of pieces of information shared on Twitter is a non-trivial task. In this work to support serendipitous discovery of …


Toward A Collaborative Ai Framework For Assistive Dementia Care, Tze-Yun Leong Feb 2017

Toward A Collaborative Ai Framework For Assistive Dementia Care, Tze-Yun Leong

Research Collection School Of Computing and Information Systems

We envision an integrated framework for supporting the development and deployment of human-aware, general artificial intelligence (AI) that needs to collaborate in uncertain, changing environments. We examine the technology and system requirements of building assistive care agents for dementia or cognitive impaired patients through the continuum of care. We summarize the new AI capabilities and show examples of how an evolving, adaptive development approach would be able to support the basic functionalities and applications in a sound, practical, and scalable manner. We highlight the challenges and the opportunities involved in realizing the proposed framework, and call for future research and …


Attribute-Based Secure Messaging In The Public Cloud, Zhi Yuan Poh, Hui Cui, Robert H. Deng, Yingjiu Li Feb 2017

Attribute-Based Secure Messaging In The Public Cloud, Zhi Yuan Poh, Hui Cui, Robert H. Deng, Yingjiu Li

Research Collection School Of Computing and Information Systems

Messaging systems operating within the public cloud are gaining popularity. To protect message confidentiality from the public cloud including the public messaging servers, we propose to encrypt messages in messaging systems using Attribute-Based Encryption (ABE). ABE is an one-to-many public key encryption system in which data are encrypted with access policies and only users with attributes that satisfy the access policies can decrypt the ciphertexts, and hence is considered as a promising solution for realizing expressive and fine-grained access control of encrypted data in public servers. Our proposed system, called Attribute-Based Secure Messaging System with Outsourced Decryption (ABSM-OD), has three …


Unsupervised Visual Hashing With Semantic Assistant For Content-Based Image Retrieval, Lei Zhu, Jialie Shen, Liang Xie, Zhiyong Cheng Feb 2017

Unsupervised Visual Hashing With Semantic Assistant For Content-Based Image Retrieval, Lei Zhu, Jialie Shen, Liang Xie, Zhiyong Cheng

Research Collection School Of Computing and Information Systems

As an emerging technology to support scalable content-based image retrieval (CBIR), hashing has recently received great attention and became a very active research domain. In this study, we propose a novel unsupervised visual hashing approach called semantic-assisted visual hashing (SAVH). Distinguished from semi-supervised and supervised visual hashing, its core idea is to effectively extract the rich semantics latently embedded in auxiliary texts of images to boost the effectiveness of visual hashing without any explicit semantic labels. To achieve the target, a unified unsupervised framework is developed to learn hash codes by simultaneously preserving visual similarities of images, integrating the semantic …


Safestack+: Enhanced Dual Stack To Combat Data-Flow Hijacking, Yan Lin, Xiaoxiao Tang, Debin Gao Jan 2017

Safestack+: Enhanced Dual Stack To Combat Data-Flow Hijacking, Yan Lin, Xiaoxiao Tang, Debin Gao

Research Collection School Of Computing and Information Systems

SafeStack, initially proposed as a key component of Code Pointer Integrity (CPI), separates the program stack into two distinct regions to provide a safe region for sensitive code pointers. SafeStack can prevent buffer overflow attacks that overwrite sensitive code pointers, e.g., return addresses, to hijack control flow of the program, and has been incorporated into the Clang project of LLVM as a C-based language front-end. In this paper, we propose and implement SafeStack+, an enhanced dual stack LLVM plug-in that further protects programs from data-flow hijacking. SafeStack+ locates data flow sensitive variables on the unsafe stack that could potentially affect …


The Habits Of Highly Effective Researchers: An Empirical Study, Subhajit Datta, Partha Basuchowdhuri, Surajit Acharya, Subhashis Majumder Jan 2017

The Habits Of Highly Effective Researchers: An Empirical Study, Subhajit Datta, Partha Basuchowdhuri, Surajit Acharya, Subhashis Majumder

Research Collection School Of Computing and Information Systems

Interest in the habits of influential individuals cuts across domains. As researchers, we are intrigued why few attain significant eminence in their fields, whereas many operate in obscurity. An empirical examination of this question has been made possible by the recent availability of large scale publication data. In this paper, we use information from the AMiner Paper Citation and Author Collaboration Networks to discern factors that relate to the impact of influential researchers across five domains in the computing discipline. We propose and apply a novel algorithm to identify influential vertices in co-authorship networks built from total corpora of 1,00,000+papers …


A Two-Sided Collaborative Transparent Display Supporting Workspace Awareness, Jiannan Li, Saul Greenberg, Ehud Sharlin Jan 2017

A Two-Sided Collaborative Transparent Display Supporting Workspace Awareness, Jiannan Li, Saul Greenberg, Ehud Sharlin

Research Collection School Of Computing and Information Systems

Transparent displays naturally support workspace awareness during face-to-face interactions. Viewers see another person’s actions through the display: gestures, gaze, body movements, and what one is manipulating on the display. Yet we can design even better collaborative transparent displays. First, collaborators on either side should be able to directly interact with workspace objects. Second, and more controversially, both sides should be capable of presenting different content. This affords: reversal of images/text in place (so that people on both sides see objects correctly); personal and private territories aligned atop each other; and GUI objects that provide different visuals for feedthrough vs. feedback. …


Concept-Based Interactive Search System, Yi-Jie Lu, Phuong Anh Nguyen, Hao Zhang, Chong-Wah Ngo Jan 2017

Concept-Based Interactive Search System, Yi-Jie Lu, Phuong Anh Nguyen, Hao Zhang, Chong-Wah Ngo

Research Collection School Of Computing and Information Systems

Our successful multimedia event detection system at TREC-VID 2015 showed its strength on handling complex concepts in a query. The system was based on a large number of pre-trained concept detectors for textual-to-visual relation. In this paper, we enhance the system by enabling human-in-the-loop. In order to facilitate a user to quickly find an information need, we incorporate concept screening, video reranking by highlighted concepts, relevance feedback and color sketch to refine a coarse retrieval result. The aim is to eventually come up with a system suitable for both Ad-hoc Video Search and Known-Item Search. In addition, as the increasing …


Cross-Modal Recipe Retrieval: How To Cook This Dish?, Jingjing Chen, Lei Pang, Chong-Wah Ngo Jan 2017

Cross-Modal Recipe Retrieval: How To Cook This Dish?, Jingjing Chen, Lei Pang, Chong-Wah Ngo

Research Collection School Of Computing and Information Systems

In social media users like to share food pictures. One intelligent feature, potentially attractive to amateur chefs, is the recommendation of recipe along with food. Having this feature, unfortunately, is still technically challenging. First, the current technology in food recognition can only scale up to few hundreds of categories, which are yet to be practical for recognizing ten of thousands of food categories. Second, even one food category can have variants of recipes that differ in ingredient composition. Finding the best-match recipe requires knowledge of ingredients, which is a fine-grained recognition problem. In this paper, we consider the problem from …


Enabling Sustainable Bulk Transfer In Environmentally-Powered Wireless Sensor Networks, Alvin C. Valera, Wee-Seng Soh, Hwee-Pink Tan Jan 2017

Enabling Sustainable Bulk Transfer In Environmentally-Powered Wireless Sensor Networks, Alvin C. Valera, Wee-Seng Soh, Hwee-Pink Tan

Research Collection School Of Computing and Information Systems

We address the problem of transferring bulk data in environmentally-powered wireless sensor networks where duty cycle compliance is critical for their uninterrupted operation. We propose Pump-and-Nap, a packet train forwarding technique that maximizes throughput while simultaneously enforcing compliance to dynamic duty cycle limitations. A node using Pump-and-Nap operates by pumping a train of packets followed by a napping period where the node forgoes any transmission. Pump-and-Nap employs an adaptive controller to periodically compute the optimal capacity, that is, the maximum number of packets a node can receive and transmit in a train, given its duty cycle constraint. The controller uses …


Online Hacker Forum Censorship: Would Banning The Bad Guys Attract Good Guys?, Qiu-Hong Wang, Le-Ting Zhang, Meng-Ke Qiao Jan 2017

Online Hacker Forum Censorship: Would Banning The Bad Guys Attract Good Guys?, Qiu-Hong Wang, Le-Ting Zhang, Meng-Ke Qiao

Research Collection School Of Computing and Information Systems

To tackle the ubiquitous cybersecurity threats, a few countries have enacted legislation to criminalize the production, distribution and possession of computer misuse tools. Consequently, online hacker forums, which enable the provision and dissemination of malicious cyber-attack techniques among potential hackers or technology-savvy users, are subject to censorship. This project examines the mixed impacts of online hacker forum censorship on users’ contribution to protection discussion through a natural experiment with large-scale content analysis. We find that while the enforcement indeed reduced the discussion on malicious cyber-attacks, the discussion on cybersecurity protection could increase or decrease in different scenarios. The rationale is …


On The Effectiveness Of Code-Reuse-Based Android Application Obfuscation, Xiaoxiao Tang, Yu Liang, Xinjie Ma, Yan Lin, Debin Gao Jan 2017

On The Effectiveness Of Code-Reuse-Based Android Application Obfuscation, Xiaoxiao Tang, Yu Liang, Xinjie Ma, Yan Lin, Debin Gao

Research Collection School Of Computing and Information Systems

Attackers use reverse engineering techniques to gain detailed understanding of executable for malicious purposes, such as re-packaging an Android app to inject malicious code or advertising components. To make reverse engineering more difficult, researchers have proposed various code obfuscation techniques to conceal purposes or logic of code segments. One interesting idea of code obfuscation is to apply codereuse techniques (e.g., Return-Oriented Programming) to (re-)distribute essential code segments before they are reconstructed at runtime. Such techniques are well understood on x86 platform, but relatively less explored on Android. In this paper, we present an evaluation on the extent to which code-reuse-based …


Technology Mergers And Acquisitions In The Presence Of An Installed Base: A Strategic Analysis, Qiu-Hong Wang, Kai-Lung Hui Jan 2017

Technology Mergers And Acquisitions In The Presence Of An Installed Base: A Strategic Analysis, Qiu-Hong Wang, Kai-Lung Hui

Research Collection School Of Computing and Information Systems

We study the strategic benefits of M&A when competing IT vendors sell different generations of the same product with different quality. We assume the new product arrives unexpectedly when an installed base of old product exists. We show that the combination of consumers' purchase history and heterogeneity leads to new demand complexity that gives rise to innovative product strategies. We find that shelving the old product is an important motivation for M&A. The acquirer may exercise static or intertemporal price discrimination depending on whether it can exercise upgrade pricing. M&A may speed up or slow down new product consumption, and …


Exploring Representativeness And Informativeness For Active Learning, Bo Du, Zengmao Wang, Lefei Zhang, Liangpei Zhang, Wei Liu, Jialie Shen, Dacheng Tao Jan 2017

Exploring Representativeness And Informativeness For Active Learning, Bo Du, Zengmao Wang, Lefei Zhang, Liangpei Zhang, Wei Liu, Jialie Shen, Dacheng Tao

Research Collection School Of Computing and Information Systems

How can we find a general way to choose the most suitable samples for training a classifier? Even with very limited prior information? Active learning, which can be regarded as an iterative optimization procedure, plays a key role to construct a refined training set to improve the classification performance in a variety of applications, such as text analysis, image recognition, social network modeling, etc. Although combining representativeness and informativeness of samples has been proven promising for active sampling, state-of-the-art methods perform well under certain data structures. Then can we find a way to fuse the two active sampling criteria without …


Rfid Ownership Transfer With Positive Secrecy Capacity Channels, Jorge Munilla, Mike Burmester, Alberto Peinado, Guomin Yang, Willy Susilo Jan 2017

Rfid Ownership Transfer With Positive Secrecy Capacity Channels, Jorge Munilla, Mike Burmester, Alberto Peinado, Guomin Yang, Willy Susilo

Research Collection School Of Computing and Information Systems

RFID ownership transfer protocols (OTPs) transfer tag ownership rights. Recently, there has been considerable interest in such protocols; however, guaranteeing privacy for symmetric-key settings without trusted third parties (TTPs) is a challenge still unresolved. In this paper, we address this issue and show that it can be solved by using channels with positive secrecy capacity. We implement these channels with noisy tags and provide practical values, thus proving that perfect secrecy is theoretically possible. We then define a communication model that captures spatiotemporal events and describe a first example of symmetric-key based OTP that: (i) is formally secure in the …


Sensor-Driven Detection Of Social Isolation In Community-Dwelling Elderly, W K P Neranjana Nadee Rodrigo Goonawardene, Xiaoping Toh, Hwee-Pink Tan Jan 2017

Sensor-Driven Detection Of Social Isolation In Community-Dwelling Elderly, W K P Neranjana Nadee Rodrigo Goonawardene, Xiaoping Toh, Hwee-Pink Tan

Research Collection School Of Computing and Information Systems

Ageing-in-place, the ability to age holistically in the community, is increasingly gaining recognition as a solution to address resource limitations in the elderly care sector. Effective elderly care models require a personalised and all-encompassing approach to caregiving. In this regard, sensor technologies have gained attention as an effective means to monitor the wellbeing of elderly living alone. In this study, we seek to investigate the potential of non-intrusive sensor systems to detect socially isolated community dwelling elderly. Using a mixed method approach, our results showed that sensor-derived features such as going-out behavior, daytime napping and time spent in the living …


H-Binder: A Hardened Binder Framework On Android Systems, Dong Shen, Zhangkai Zhang, Xuhua Ding, Zhoujun Li, Robert H. Deng Jan 2017

H-Binder: A Hardened Binder Framework On Android Systems, Dong Shen, Zhangkai Zhang, Xuhua Ding, Zhoujun Li, Robert H. Deng

Research Collection School Of Computing and Information Systems

The Binder framework is at the core of Android systems due to its fundamental role for interprocess communications. Applications use the Binder to perform high level tasks such as accessing location information. The importance of the Binder makes it an attractive target for attackers. Rootkits on Android platforms can arbitrarily access any Binder transaction data and therefore have system-wide security impact. In this paper, we propose H-Binder to secure the Binder IPC channel between two applications. It runs transparently with Android and COTS applications without making changes on their binaries. In this work, we design a bare-metal ARM hypervisor with …


Attribute-Based Storage Supporting Secure Deduplication Of Encrypted Data In Cloud, Hui Cui, Robert H. Deng, Yingjiu Li, Guowei Wu Jan 2017

Attribute-Based Storage Supporting Secure Deduplication Of Encrypted Data In Cloud, Hui Cui, Robert H. Deng, Yingjiu Li, Guowei Wu

Research Collection School Of Computing and Information Systems

Attribute-based encryption (ABE) has been widely used in cloud computing where a data provider outsources his/herencrypted data to a cloud service provider, and can share the data with users possessing specific credentials (or attributes). However,the standard ABE system does not support secure deduplication, which is crucial for eliminating duplicate copies of identical data inorder to save storage space and network bandwidth. In this paper, we present an attribute-based storage system with securededuplication in a hybrid cloud setting, where a private cloud is responsible for duplicate detection and a public cloud manages thestorage. Compared with the prior data deduplication systems, our …


They All Seem Good, But Which One Fits Me? Reducing Fit Uncertainty For Digital Entertainment Goods, Ai Phuong Hoang Jan 2017

They All Seem Good, But Which One Fits Me? Reducing Fit Uncertainty For Digital Entertainment Goods, Ai Phuong Hoang

Research Collection School Of Computing and Information Systems

Faster Internet connections and advanced streaming technologies have boosted the consumption of digital entertainment content. Nonetheless, many content providers are still struggling to differentiate their services and sell their offerings in the market, due to the large number of options available and customers’ uncertainty about the specific attributes of individual information goods. The providers employ different strategies to communicate information on the quality and fit of their products. In this research, I examine the effectiveness of sampling-based seller strategy on the marketing of digital entertainment goods. Using a large dataset on series drama on-demand, I show that content sampling plays …


The Making Of A Successful Analytics Master Degree Program: Experiences And Lessons Drawn For A Young And Small Asian University, Michelle L. F. Cheong Jan 2017

The Making Of A Successful Analytics Master Degree Program: Experiences And Lessons Drawn For A Young And Small Asian University, Michelle L. F. Cheong

Research Collection School Of Computing and Information Systems

Singapore Management University’s School of Information Systems is a young school within a young and small university in Asia. Being young and small, establishing a successful analytics master degree program required extensive landscape research, assessment of its own strengths and weaknesses, having a committed team, and having a clear vision to meet the ever-changing needs of the industry. The Master of IT in Business (Analytics) program, established since 2011, has grown from an annual intake of 16 to 128 students in six years. This article attempts to describe the design process, challenges faced, decisions made, and the key actions taken, …


Fine-Grained Sentiment Analysis Of Social Media With Emotion Sensing, Zhaoxia Wang, Chee Seng Chong, Landy Lan, Yinping Yang, Beng-Seng Ho, Joo Chuan Tong Jan 2017

Fine-Grained Sentiment Analysis Of Social Media With Emotion Sensing, Zhaoxia Wang, Chee Seng Chong, Landy Lan, Yinping Yang, Beng-Seng Ho, Joo Chuan Tong

Research Collection School Of Computing and Information Systems

Social media is arguably the richest source of human generated text input. Opinions, feedbacks and critiques provided by internet users reflect attitudes and sentiments towards certain topics, products, or services. The sheer volume of such information makes it effectively impossible for any group of persons to read through. Thus, social media sentiment analysis has become an important area of work to make sense of the social media talk. However, most existing sentiment analysis techniques focus only on the aggregate level, classifying sentiments broadly into positive, neutral or negative, and lack the capabilities to perform fine-grained sentiment analysis. This paper describes …


Viewed By Too Many Or Viewed Too Little: Using Information Dissemination For Audience Segmentation, Bernard J. Jansen, Soon-Gyu Jung, Joni Salminen, Jisun An, Haewoon Kwak Jan 2017

Viewed By Too Many Or Viewed Too Little: Using Information Dissemination For Audience Segmentation, Bernard J. Jansen, Soon-Gyu Jung, Joni Salminen, Jisun An, Haewoon Kwak

Research Collection School Of Computing and Information Systems

The identification of meaningful audience segments, such as groups of users, consumers, readers, audience, etc., has important applicability in a variety of domains, including for content publishing. In this research, we seek to develop a technique for determining both information dissemination and information discrimination of online content in order to isolate audience segments. The benefits of the technique include identification of the most impactful content for analysis. With 4,320 online videos from a major news organization, a set of audience attributes, and more than 58 million interactions from hundreds of thousands of users, we isolate the key pieces of content …


Internet Health Information Seeking And The Patient-Physician Relationship: A Systematic Review, Sharon Swee-Lin Tan, Nadee Goonawardene Jan 2017

Internet Health Information Seeking And The Patient-Physician Relationship: A Systematic Review, Sharon Swee-Lin Tan, Nadee Goonawardene

Research Collection School Of Computing and Information Systems

Background: With online health information becoming increasingly popular among patients, concerns have been raised about the impact of patients' Internet health information-seeking behavior on their relationship with physicians. Therefore, it is pertinent to understand the influence of online health information on the patient-physician relationship. Objective: Our objective was to systematically review existing research on patients' Internet health information seeking and its influence on the patient-physician relationship. Methods: We systematically searched PubMed and key medical informatics, information systems, and communication science journals covering the period of 2000 to 2015. Empirical articles that were in English were included. We analyzed the content …


Universally Composable Rfid Mutual Authentication, Chunhua Su, Bagus Santoso, Yingjiu Li, Robert H. Deng, Xinyi Huang Jan 2017

Universally Composable Rfid Mutual Authentication, Chunhua Su, Bagus Santoso, Yingjiu Li, Robert H. Deng, Xinyi Huang

Research Collection School Of Computing and Information Systems

Universally Composable (UC) framework provides the strongest security notion for designing fully trusted cryptographic protocols, and it is very challenging on applying UC security in the design of RFID mutual authentication protocols. In this paper, we formulate the necessary conditions for achieving UC secure RFID mutual authentication protocols which can be fully trusted in arbitrary environment, and indicate the inadequacy of some existing schemes under the UC framework. We define the ideal functionality for RFID mutual authentication and propose the first UC secure RFID mutual authentication protocol based on public key encryption and certain trusted third parties which can be …


Discovering Historic Traffic-Tolerant Paths In Road Networks, Pui Hang Li, Man Lung Yiu, Kyriakos Mouratidis Jan 2017

Discovering Historic Traffic-Tolerant Paths In Road Networks, Pui Hang Li, Man Lung Yiu, Kyriakos Mouratidis

Research Collection School Of Computing and Information Systems

Historic traffic information is valuable in transportation analysis and planning, e.g., evaluating the reliability of routes for representative source-destination pairs. Also, it can be utilized to provide efficient and effective route-search services. In view of these applications, we propose the k traffic-tolerant paths (TTP) problem on road networks, which takes a source-destination pair and historic traffic information as input, and returns k paths that minimize the aggregate (historic) travel time. Unlike the shortest path problem, the TTP problem has a combinatorial search space that renders the optimal solution expensive to find. First, we propose an exact algorithm with effective pruning …


Easing Cross-Border Communication: Mobile-Mediated Communication And Its Framework, Kyungsub Choi, Young Soo Kim Jan 2017

Easing Cross-Border Communication: Mobile-Mediated Communication And Its Framework, Kyungsub Choi, Young Soo Kim

Research Collection School Of Computing and Information Systems

Communication is probably the most critical component of an organization engaged in a cross-border collaboration. Today’s smart devices substantially contribute to such communication. Combined with social media, mobile communication technologies are becoming the main platform for many core functions within organizations. In this paper, we identified seven media identifiable attributes: synchronicity (SYN), de-individuation and co-presence (DCP), accessibility readiness (ARD), cognizance of environment change (CEC), wearability-portability (WRB) modality-select (MDS) and visibility (VSB). These seven attributes significantly impact the course of mobile-mediated communication. We believe that development of a theoretical perspective that embraces the complexity of mobile-mediated communication is due in order …


Research Strategies For Biomedical And Health Informatics: Some Thought-Provoking And Critical Proposals To Encourage Scientific Debate On The Nature Of Good Research In Medical Informatics, Reinhold Haux, Et Al. Jan 2017

Research Strategies For Biomedical And Health Informatics: Some Thought-Provoking And Critical Proposals To Encourage Scientific Debate On The Nature Of Good Research In Medical Informatics, Reinhold Haux, Et Al.

Research Collection School Of Computing and Information Systems

Medical informatics, or biomedical and health informatics (BMHI), has become an established scientific discipline. In all such disciplines there is a certain inertia to persist in focusing on well-established research areas and to hold on to well-known research methodologies rather than adopting new ones, which may be more appropriate. To search for answers to the following questions: What are research fields in informatics, which are not being currently adequately addressed, and which methodological approaches might be insufficiently used? Do we know about reasons? What could be consequences of change for research and for education? Outstanding informatics scientists were invited to …


High Impact Bug Report Identification With Imbalanced Learning Strategies, Xinli Yang, David Lo, Xin Xia, Qiao Huang, Jianling Sun Jan 2017

High Impact Bug Report Identification With Imbalanced Learning Strategies, Xinli Yang, David Lo, Xin Xia, Qiao Huang, Jianling Sun

Research Collection School Of Computing and Information Systems

In practice, some bugs have more impact than others and thus deserve more immediate attention. Due to tight schedule and limited human resources, developers may not have enough time to inspect all bugs. Thus, they often concentrate on bugs that are highly impactful. In the literature, high-impact bugs are used to refer to the bugs which appear at unexpected time or locations and bring more unexpected effects (i.e., surprise bugs), or break pre-existing functionalities and destroy the user experience (i.e., breakage bugs). Unfortunately, identifying high-impact bugs from thousands of bug reports in a bug tracking system is not an easy …


Collaboration In Virtual Worlds: Impact Of Task Complexity On Team Trust And Satisfaction, Fiona Fui-Hoon Nah, Shu Schiller, Brian E. Mennecke, Keng Siau Jan 2017

Collaboration In Virtual Worlds: Impact Of Task Complexity On Team Trust And Satisfaction, Fiona Fui-Hoon Nah, Shu Schiller, Brian E. Mennecke, Keng Siau

Research Collection School Of Computing and Information Systems

Virtual worlds are three-dimensional, computer-generated worlds in which team collaboration can be facilitated through the use of shared virtual space and mediated using avatars. This article examines the effect of task complexity on team collaboration. A puzzle game in Second Life was used as the collaborative task and task complexity was manipulated by varying the number of pieces in the puzzle. The hypotheses are that task complexity influences team trust, and team trust influences team process satisfaction in virtual team collaboration. The experimental results indicate that task complexity has significant effects on team trust and team process satisfaction, and team …


Stochastic Invariants For Probabilistic Termination, Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic Jan 2017

Stochastic Invariants For Probabilistic Termination, Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic

Research Collection School Of Computing and Information Systems

Termination is one of the basic liveness properties, and we study the termination problem for probabilistic programs with real-valued variables. Previous works focused on the qualitative problem that asks whether an input program terminates with probability 1 (almost-sure termination). A powerful approach for this qualitative problem is the notion of ranking supermartingales with respect to a given set of invariants. The quantitative problem (probabilistic termination) asks for bounds on the termination probability, and this problem has not been addressed yet. A fundamental and conceptual drawback of the existing approaches to address probabilistic termination is that even though the supermartingales consider …