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

Digital Commons Network™

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

Singapore Management University

Discipline
Keyword
Publication Year
Publication
Publication Type

Articles 5641 - 5670 of 8706

Full-Text Articles in Entire DC Network

Model Checking Approach To Automated Planning, Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun Jan 2014

Model Checking Approach To Automated Planning, Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun

Research Collection School Of Computing and Information Systems

Model checking provides a way to automatically explore the state space of a finite state system based on desired properties, whereas planning is to produce a sequence of actions that leads from the initial state to the target goal states. Previous research in this field proposed a number of approaches for connecting model checking with planning problem solving. In this paper, we investigate the feasibility of using an established model checking framework, Process Analysis Toolkit (PAT), as a planning solution provider for upper layer applications. To achieve this, we first carry out a number of experiments on different model checking …


Towards Formal Modelling And Verification Of Pervasive Computing Systems, Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari Jan 2014

Towards Formal Modelling And Verification Of Pervasive Computing Systems, Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari

Research Collection School Of Computing and Information Systems

Smart systems equipped with emerging pervasive computing technologies enable people with limitations to live in their homes independently. However, lack of guarantees for correctness prevent such system to be widely used. Analysing the system with regard to correctness requirements is a challenging task due to the complexity of the system and its various unpredictable faults. In this work, we propose to use formal methods to analyse pervasive computing (PvC) systems. Firstly, a formal modelling framework is proposed to cover the main characteristics of such systems (e.g., context-awareness, concurrent communications, layered architectures). Secondly, we identify the safety requirements (e.g., free of …


Learning Assumptions For Compositional Verification Of Timed Systems, Shang-Wei Lin Lin, Yang Liu, Jun Sun, Jun Sun Jan 2014

Learning Assumptions For Compositional Verification Of Timed Systems, Shang-Wei Lin Lin, Yang Liu, Jun Sun, Jun Sun

Research Collection School Of Computing and Information Systems

Compositional techniques such as assume-guarantee reasoning (AGR) can help to alleviate the state space explosion problem associated with model checking. However, compositional verification is difficult to be automated, especially for timed systems, because constructing appropriate assumptions for AGR usually requires human creativity and experience. To automate compositional verification of timed systems, we propose a compositional verification framework using a learning algorithm for automatic construction of timed assumptions for AGR. We prove the correctness and termination of the proposed learning-based framework, and experimental results show that our method performs significantly better than traditional monolithic timed model checking.


Transforming The Chinese Economy, Singapore Management University Jan 2014

Transforming The Chinese Economy, Singapore Management University

Perspectives@SMU

Can China really grow by eight percent every year until 2033?


Virtualization-Based System Hardening Against Untrusted Kernels, Yueqiang Cheng Jan 2014

Virtualization-Based System Hardening Against Untrusted Kernels, Yueqiang Cheng

Dissertations and Theses Collection (Open Access)

Applications are integral to our daily lives to help us processing sensitive I/O data, such as individual passwords and camera streams, and private application data, such as financial information and medical reports. However, applications and sensitive data all surfer from the attacks from kernel rootkits in the traditional architecture, where the commodity OS that is supposed to be the secure foothold of the system is routinely compromised due to the large code base and the broad attack surface. Fortunately, the virtualization technology has significantly reshaped the landscape of the modern computer system, and provides a variety of new opportunities for …


Mindfulness In Organizations, Jochen Reb, Ellen Choi Jan 2014

Mindfulness In Organizations, Jochen Reb, Ellen Choi

Research Collection Lee Kong Chian School Of Business

This chapter discusses the practice of mindfulness in organizations. In the first section we describe the growing interest in mindfulness training among organizations and discuss possible reasons for this development. We then review work on the definition and concept of mindfulness as they have been developed in psychology and organizational scholarship. In the second section, we discuss different forms of mindfulness practice in organizations, including Mindfulness-Based Stress Reduction (MBSR) as the most prominent. The third section reviews empirical evidence on the effects of mindfulness on work-related outcomes and processes such as employee performance, employee well-being, leadership, and ethical decision making. …


Sox, Corporate Transparency, And The Cost Of Debt, Sandro Andrade, Gennaro Bernile, Frederick Hood Jan 2014

Sox, Corporate Transparency, And The Cost Of Debt, Sandro Andrade, Gennaro Bernile, Frederick Hood

Research Collection Lee Kong Chian School Of Business

We investigate the impact of the Sarbanes–Oxley (SOX) Act on the cost of debt through its effect on the reliability of financial reporting. Using Credit Default Swap (CDS) spreads and a structural CDS pricing model, we calibrate a firm-level corporate opacity parameter in the pre- and post-SOX periods. Our analysis shows that corporate opacity and the cost of debt decrease significantly after SOX. The median firm in our sample experiences an 18 bp reduction on its five-year CDS spread as a result of lower opacity following SOX, amounting to total annual savings of $ 844 million for the 252 firms …


Is The Cross-Section Of Expected Bond Returns Influenced By Equity Return Predictors?, Tarun Chordia, Amit Goyal, Yoshio Nozowa, Avanidhar Subrahmanyam, Qing Tong Jan 2014

Is The Cross-Section Of Expected Bond Returns Influenced By Equity Return Predictors?, Tarun Chordia, Amit Goyal, Yoshio Nozowa, Avanidhar Subrahmanyam, Qing Tong

Research Collection Lee Kong Chian School Of Business

This paper studies whether the commonly analyzed equity return predictors also predict corporate bond returns. Bond markets do price risk, but are also susceptible to delayed information transmission relative to equities. Firm size and profitability are negatively priced while idiosyncratic volatility is positively priced, suggesting that large firms, more profitable firms and relatively less volatile firms are more attractive to bond investors, thus requiring lower returns. Consistent with a relatively sophisticated institutional clientele, bonds are efficiently priced in that none of the behaviorally-motivated variables provide profitable trading strategies after accounting for transactions costs, though some risk-based variables continue to do …


Negotiating Crisis In The Social Media Environment: Evolution Of Crises Online, Gaining Credibility Offline, A. Pang, Nasrath Begam Binte Abul Hassan, Aaron Chee Yang Chong Jan 2014

Negotiating Crisis In The Social Media Environment: Evolution Of Crises Online, Gaining Credibility Offline, A. Pang, Nasrath Begam Binte Abul Hassan, Aaron Chee Yang Chong

Research Collection Lee Kong Chian School Of Business

Purpose– The aim of this paper is to examine how crises can be triggered online, how different social media tools escalate crises, and how issues gain credibility when they transit to mainstream media.Design/methodology/approach– This exploratory study uses the multiple case study method to analyze five crises, generated online, throughout their life-cycles, in order to build analytic generalizations (Yin).Findings– Crises are often triggered online when stakeholders are empowered by social media platforms to air their grievances. YouTube and Twitter have been used to raise issues through its large user base and the lack of gatekeeping. Facebook and blogs escalate crises beyond …


Media Relations In An Evolving Media Landscape, Augustine Pang, Vivien H. E. Chiong, Nasrath Begam Binte Abul Hassan Jan 2014

Media Relations In An Evolving Media Landscape, Augustine Pang, Vivien H. E. Chiong, Nasrath Begam Binte Abul Hassan

Research Collection Lee Kong Chian School Of Business

Purpose – The purpose of this paper is to test the viability of the media relations framework, Mediating the Media model (Pang, 2010), and ascertains its relevance to practitioners in a changing media landscape in Singapore where social media is emerging as an alternative source of information tool. Design/methodology/approach – In-depth interviews with 20 media relations practitioners who were former journalists. Practitioners with journalism experience were chosen as they perform better at media relations (Sallot and Johnson, 2006a; Sinaga and Callison, 2008). Findings – The model posits two sets of influences, i.e. internal (journalist mindset, journalist routines and newsroom routines) …


Media Coverage And Firm Valuation: Evidence From China, Jiwei Wang, Kangtao Ye Jan 2014

Media Coverage And Firm Valuation: Evidence From China, Jiwei Wang, Kangtao Ye

Research Collection School Of Accountancy

Drawing on both a managerial discipline perspective and an information intermediary perspective, we explore how media coverage of a firm’s controlling shareholder influences firm valuation in corporate China. Using 366 listed family firms in China from 2003 to 2006, we find that firms in which controlling shareholders receive more neutral media reports enjoy higher valuation, whereas negative media reports on controlling shareholders impose adverse effects on firm valuation. Interestingly, favorable media coverage of the controlling shareholders does not enhance firm value. Further analyses reveal that ownership structure and audit quality moderate the relationship between media coverage and firm valuation. Our …


Loan Loss Reserves, Regulatory Capital, And Bank Failures: Evidence From The Recent Economic Crisis, Tee Yong Jeffrey Ng, Sugata Roychowdhury Jan 2014

Loan Loss Reserves, Regulatory Capital, And Bank Failures: Evidence From The Recent Economic Crisis, Tee Yong Jeffrey Ng, Sugata Roychowdhury

Research Collection School Of Accountancy

Regulatory capital guidelines allow for loan loss reserves to be added back as capital. The evidence in this paper suggests that the influence of loan loss reserves added back as regulatory capital (hereafter referred to as “add-backs”) on bank risk cannot be explained by either economic principles underlying the notion of capital, or accounting principles underlying the recording of reserves. Specifically, we observe that in sharp contrast to the economic notion of capital as a buffer against bank failure risk, add-backs are positively associated with the risk of bank failure during the recent economic crisis. Further the positive association of …


Does More Corporate Governance Enhance Managerial Performance: Cfo Perceptions And The Role Of Mindfulness, John Joseph Williams, Alfred E. Seaman Jan 2014

Does More Corporate Governance Enhance Managerial Performance: Cfo Perceptions And The Role Of Mindfulness, John Joseph Williams, Alfred E. Seaman

Research Collection School Of Accountancy

No abstract provided.


Mandatory Financial Reporting Environment And Voluntary Disclosure: Evidence From Mandatory Ifrs Adoption, I-Hwa Yang, Balakrishnan K., Li X. Jan 2014

Mandatory Financial Reporting Environment And Voluntary Disclosure: Evidence From Mandatory Ifrs Adoption, I-Hwa Yang, Balakrishnan K., Li X.

Research Collection School Of Accountancy

No abstract provided.


Do Managers Use Meeting Analyst Forecasts To Signal Private Information? Evidence From Patent Citations, Katherine Gunny, Tracey Chunqi Zhang Jan 2014

Do Managers Use Meeting Analyst Forecasts To Signal Private Information? Evidence From Patent Citations, Katherine Gunny, Tracey Chunqi Zhang

Research Collection School Of Accountancy

This study examines whether firms manage earnings to meet analyst forecasts to signal superior future performance. Prior research finds that firms use earnings management to just meet analyst forecasts and that these firms have a positive association with future performance (Bartov et al., 2002). There are two potential explanations for the positive association – signaling and attaining benefits that allow for better future performance (i.e., the real benefits explanation). Prior studies cannot provide evidence of signaling because they do not control for the real benefits explanation. Our research design enables us to control for the real benefits explanation because we …


Financial Reporting Opacity And Expected Crash Risk: Evidence From Implied Volatility Smirks, Jeong-Bon Kim, Liandong Zhang Jan 2014

Financial Reporting Opacity And Expected Crash Risk: Evidence From Implied Volatility Smirks, Jeong-Bon Kim, Liandong Zhang

Research Collection School Of Accountancy

The recent financial crisis has stimulated a renewed interest in understanding the determinants of stock price crash risk (i.e., left tail risk). Recent research shows that opaque financial reports enable managers to hide and accumulate bad news for extended periods. When the accumulated bad news reaches certain tipping point, it will be suddenly released to the market at once, resulting in an abrupt decline in stock price (i.e., a crash). This study extends this line of research by examining the impact of financial reporting opacity on perceived or expected crash risk. Prominent economists, such as Olivier Blanchard, argue that removing …


Beauty And Academic Career, Hai Lu, Yanju Liu, Kevin Veenstra Jan 2014

Beauty And Academic Career, Hai Lu, Yanju Liu, Kevin Veenstra

Research Collection School Of Accountancy

We examine the impact of beauty on the academic career success of tenure-track accounting professors at top business schools in America, and show that beauty plays a significant role. Specifically, after controlling for gender, ethnicity, publication history, work experience, and quality of alma mater, more attractive professors obtain better first school placements post-PhD and are granted tenure in a shorter period of time. Interestingly, there is no incremental benefit of attractiveness for the career progression from associate to full professor. These findings are consistent with our conjecture that when the signal of an individual’s potential is noisy, beauty becomes a …


Loki: A Privacy-Conscious Platform For Crowdsourced Surveys, Thivya Kandappu, Vijay Sivaraman, Arik Friedman, Roksana Boreli Jan 2014

Loki: A Privacy-Conscious Platform For Crowdsourced Surveys, Thivya Kandappu, Vijay Sivaraman, Arik Friedman, Roksana Boreli

Research Collection School Of Computing and Information Systems

Emerging platforms such as Amazon Mechanical Turk and Google Consumer Surveys are increasingly being used by researchers and market analysts to crowdsource large-scale survey data from on-line populations at extremely low-cost. However, by participating in successive surveys, users risk being profiled and targeted, both by surveyors and by the platform itself. In this paper we propose, develop, and evaluate the design of a crowdsourcing platform, called Loki, that is privacy conscious. Our contributions are three-fold: (a) We propose Loki, a system that allows users to obfuscate their (ratings-based or multiple-choice) responses at-source based on their chosen privacy level, and gives …


Strategic Decision Support System Using Heuristic Algorithm For Practical Outlet Zones Allocation To Dealers In A Beer Supply Distribution Network, Michelle Lee Fong Cheong Jan 2014

Strategic Decision Support System Using Heuristic Algorithm For Practical Outlet Zones Allocation To Dealers In A Beer Supply Distribution Network, Michelle Lee Fong Cheong

Research Collection School Of Computing and Information Systems

We consider a two-echelon beer supply distribution network with the brewer replenishing the dealers and the dealers serving the outlet zones directly, for multiple product types. The allocation of the outlet zones to the dealers will determine the quantity of products the brewer replenishes each dealer, which will in turn impact the total warehousing and transportation costs. The non-linear optimization model formulated is difficult to solve to optimality, and the model itself does not include practical business considerations in the distribution business. A heuristics algorithm is designed and easily implemented using spreadsheets with Visual Basic programming to effectively and efficiently …


The China Dream And The American Dream, William A. Callahan Jan 2014

The China Dream And The American Dream, William A. Callahan

Research Collection School of Social Sciences

Since Xi Jinping invoked “The China Dream” as a key concept in November 2012, this phrase has come to dominate discussions of China’s future. This paper will examine the China dream phenomenon first by placing it in the context of debates that have been raging in Chinese civil society over the past few years. It will analyze the works of 20 prominent “China dreamers” in terms of debates over the proper relationship between (1) politics and economics, (2) equality and hierarchy, (3) civilization and civility, and (4) nationalism and statism. The other main context for the China dream concept is …


Working It Out: Migrants’ Perspectives Of Social Inclusion In The Workplace, George Major, Agnes Terraschke, Emily Major, Charlotte Setijadi Jan 2014

Working It Out: Migrants’ Perspectives Of Social Inclusion In The Workplace, George Major, Agnes Terraschke, Emily Major, Charlotte Setijadi

Research Collection School of Social Sciences

This paper explores the concept of social inclusion from the perspective of recent migrants, from language backgrounds other than English, at work in Australia. We adopt an understanding of social inclusion that acknowledges the importance of economic independence, while also considering migrants’ feelings of connectedness at work and their sense of belonging. Based on qualitative interviews with migrants collected two years apart, we explore the ways language and language practices can lead to feelings of inclusion or exclusion at work. The data suggests that migrants who felt included at work often had colleagues and/or bosses who actively supported and encouraged …


Measuring And Modelling The Thermal Performance Of The Tamar Suspension Bridge Using A Wireless Sensor Network, Nicholas De Battista, James M. W. Brownjohn, Hwee-Pink Tan, Ki Young Koo Jan 2014

Measuring And Modelling The Thermal Performance Of The Tamar Suspension Bridge Using A Wireless Sensor Network, Nicholas De Battista, James M. W. Brownjohn, Hwee-Pink Tan, Ki Young Koo

Research Collection School Of Computing and Information Systems

A study on the thermal performance of the Tamar Suspension Bridge deck in Plymouth, UK, is presented in this paper. Ambient air, suspension cable, deck and truss temperatures were acquired using a wired sensor system. Deck extension data were acquired using a two-hop wireless sensor network. Empirical models relating the deck extension to various combinations of temperatures were derived and compared. The most accurate model, which used all the four temperature variables, predicted the deck extension with an accuracy of 99.4%. Time delays ranging from 10 to 66 min were identified between the daily cycles of the air temperature and …


Complexity Of The Soundness Problem Of Workflow Nets, Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong Jan 2014

Complexity Of The Soundness Problem Of Workflow Nets, Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong

Research Collection School Of Computing and Information Systems

Classical workflow nets (WF-nets for short) are an important subclass of Petri nets that are widely used to model and analyze workflow systems. Soundness is a crucial property of workflow systems and guarantees that these systems are deadlock-free and bounded. Aalst et al. proved that the soundness problem is decidable for WF-nets and can be polynomially solvable for free-choice WF-nets. This paper proves that the soundness problem is PSPACE-hard for WF-nets. Furthermore, it is proven that the soundness problem is PSPACE-complete for bounded WF-nets. Based on the above conclusion, it is derived that the soundness problem is also PSPACE-complete for …


Privacy-Preserving Ad-Hoc Equi-Join On Outsourced Data, Hwee Hwa Pang, Xuhua Ding Jan 2014

Privacy-Preserving Ad-Hoc Equi-Join On Outsourced Data, Hwee Hwa Pang, Xuhua Ding

Research Collection School Of Computing and Information Systems

In IT outsourcing, a user may delegate the data storage and query processing functions to a third-party server that is not completely trusted. This gives rise to the need to safeguard the privacy of the database as well as the user queries over it. In this article, we address the problem of running ad hoc equi-join queries directly on encrypted data in such a setting. Our contribution is the first solution that achieves constant complexity per pair of records that are evaluated for the join. After formalizing the privacy requirements pertaining to the database and user queries, we introduce a …


Cross-Domain Password-Based Authenticated Key Exchange Revisited, Liqun Chen, Hoon Wei Lim, Guomin Yang Jan 2014

Cross-Domain Password-Based Authenticated Key Exchange Revisited, Liqun Chen, Hoon Wei Lim, Guomin Yang

Research Collection School Of Computing and Information Systems

We revisit the problem of secure cross-domain communication between two users belonging to different security domains within an open and distributed environment. Existing approaches presuppose that either the users are in possession of public key certificates issued by a trusted certificate authority (CA), or the associated domain authentication servers share a long-term secret key. In this article, we propose a generic framework for designing four-party password-based authenticated key exchange (4PAKE) protocols. Our framework takes a different approach from previous work. The users are not required to have public key certificates, but they simply reuse their login passwords, which they share …


On Empirical Validation Of Compactness Measures For Electoral Redistricting And Its Significance For Application Of Models In The Social Sciences, Christine Chou, Steven O. Kimbrough, Frederic H. Murphy, John Sullivan-Fedock, C. Jason Woodard Jan 2014

On Empirical Validation Of Compactness Measures For Electoral Redistricting And Its Significance For Application Of Models In The Social Sciences, Christine Chou, Steven O. Kimbrough, Frederic H. Murphy, John Sullivan-Fedock, C. Jason Woodard

Research Collection School Of Computing and Information Systems

Use of optimization models in science and policy applications is often problematic because the best available models are very inaccurate representations of the originating problems. Such is the case with electoral districting models, for which there exist no generally accepted measures of compactness, in spite of many proposals and much analytical study. This article reports on an experimental investigation of subjective judgments of compactness for electoral districts. The experiment draws on a unique database of 116 distinct, legally valid districting plans for the Philadelphia City Council, discovered with evolutionary computation. Subjects in the experiment displayed, in the aggregate, remarkable agreement …


Intrasexual Competition And Other Theories Of Eating Restriction, Norman P. Li, April R. Smith, Jose C. Yong, Tiffany A. Brown Jan 2014

Intrasexual Competition And Other Theories Of Eating Restriction, Norman P. Li, April R. Smith, Jose C. Yong, Tiffany A. Brown

Research Collection School of Social Sciences

Various forms of disordered eating and unhealthy eating practices, including excessive dieting, vomiting, binging and purging, and diet-motivated drug use, negatively affect and are potentially fatal to millions of individuals. We describe the etiology of disordered eating as well as various hypotheses on this phenomenon, both from traditional, non-evolutionary perspectives and from evolutionary perspectives. In particular, we explore in detail the intrasexual competition hypothesis, which draws on a broad evolutionary theory: intrasexual selection. From this perspective, women are thought to have evolved to compete intrasexually on thinness, which would have indicated youth and nubility in the ancestral past (Abed, 1998). …


Tang Junyi’S Comparative Philosophy And The Spiritual Value Of Chinese Culture, Sor-Hoon Tan Jan 2014

Tang Junyi’S Comparative Philosophy And The Spiritual Value Of Chinese Culture, Sor-Hoon Tan

Research Collection School of Social Sciences

Tang Junyi (1909-1978) engaged in philosophical comparisons very early in his career. He always philosophized from a cultural perspective in his subsequent philosophical reflection on the development of the mind, the philosophy of life, the relation between culture and moral reason, and the spiritual value of Chinese culture.


The Labor Theory Of Justice, Chandran Kukathas Jan 2014

The Labor Theory Of Justice, Chandran Kukathas

Research Collection School of Social Sciences

Justice is the first virtue of social institutions as truth is of systems ofthought. So John Rawls famously proclaimed in the beginning of hismasterwork, A Theory of Justice. A theory however elegant and economical must be rejected or revised if untrue. Laws and institutions no matterhow efficient and well arranged must be reformed or abolished if unjust.Justice, perhaps unlike some other values, was not something we mightreadily trade a little of in exchange for other benefits.1In his critique ofRawls, Rescuing Justice and Equality, G. A. Cohen proposes to take justicemore seriously while at the same time conceding that justice might …


Utility Of Potential Misdiagnoses In Predicting Foodborne Outbreaks, Lucia Lucia, Artur Dubrawski, Lujie Chen Jan 2014

Utility Of Potential Misdiagnoses In Predicting Foodborne Outbreaks, Lucia Lucia, Artur Dubrawski, Lujie Chen

Research Collection School of Social Sciences

To investigate utility of using inpatient and emergency room diagnoses to detect outbreaks of Salmonellosis in humans. To quantify the impact of including in the analysis cases diagnosed with conditions that may have physiological appearance similar to Salmonellosis.