Simon Fraser University

Displaying 1-28 of 28 results

  • White Papers // Mar 2014

    Automated Cognitive Presence Detection in Online Discussion Transcripts

    In this paper, the authors present the results of an exploratory study that examined the use of text mining and text classification for the automation of the content analysis of discussion transcripts within the context of distance education. They used Community of Inquiry (CoI) framework and focused on the content...

    Provided By Simon Fraser University

  • White Papers // Feb 2012

    Automated Planning for Feature Model Configuration Based on Functional and Non-Functional Requirements

    Feature modeling is one of the main techniques used in Software Product Line Engineering to manage the variability within the products of a family. Concrete products of the family can be generated through a configuration process. The configuration process selects and/or removes features from the feature model according to the...

    Provided By Simon Fraser University

  • White Papers // Jan 2012

    Developing Semantically-Enabled Families of Method-oriented Architectures

    Method Engineering (ME) has emerged with the aim of improving software development methods by creating and proposing adaptation frameworks whereby methods are created to provide suitable matches with the requirements of the organization and address project concerns and fit with specific situations. Therefore, methods are defined and modularized into components...

    Provided By Simon Fraser University

  • White Papers // Oct 2011

    Automated Planning for Feature Model Configuration Based on Stakeholders' Business Concerns

    In Software Product Line Engineering, concrete products of a family can be generated through a configuration process over a feature model. The configuration process selects features from the feature model according to the stakeholders' requirements. Selecting the right set of features for one product from all the available features in...

    Provided By Simon Fraser University

  • White Papers // Aug 2011

    A Quality Aggregation Model for Service-Oriented Software Product Lines Based on Variability and Composition Patterns

    Quality evaluation is a challenging task in monolithic software systems, and is even more complex when it comes to Service-Oriented Software Product Lines (SOSPL), as it needs to analyze the attributes of a family of SOA systems. In SOSPL, variability can be managed and planned at the architectural level to...

    Provided By Simon Fraser University

  • White Papers // Jul 2011

    A Semantic Account for Modularity in Multi-Language Modeling of Search Problems

    Motivated by the need to combine systems and logics, the authors develop a modular approach to the Model eXpansion (MX) problem, a task which is common in applications such as planning, scheduling, computational biology, formal verification. They develop a modular framework where parts of a modular system can be written...

    Provided By Simon Fraser University

  • White Papers // Jun 2011

    User-Level Scheduling on NUMA Multicore Systems Under Linux

    The problem of scheduling on multi-core systems remains one of the hottest and the most challenging topics in systems research. Introduction of Non-Uniform Memory Access (NUMA) multi-core architectures further complicates this problem, as on NUMA systems the scheduler needs not only consider the placement of threads on cores, but also...

    Provided By Simon Fraser University

  • White Papers // Jun 2011

    Bringing Semantics to Feature Models With SAFMDL

    Software product line engineering is a paradigm that advocates the reusability of software engineering assets and the rapid development of new applications for a target domain. These objectives are achieved by capturing the commonalities and variabilities between the applications of a target domain and through the development of comprehensive and...

    Provided By Simon Fraser University

  • White Papers // May 2011

    Predicate Abstraction With Adjustable-Block Encoding

    Several successful software model checkers are based on a technique called Single-Block Encoding (SBE), which computes costly predicate abstractions after every single program operation. Large-Block Encoding (LBE) computes abstractions only after a large number of operations, and it was shown that this significantly improves the verification performance. In this paper,...

    Provided By Simon Fraser University

  • White Papers // Feb 2011

    Precoded Differential OFDM for Relay Networks

    The authors study the performance of differential space-time codes with Linear Constellation Precoding (LCP) for Orthogonal Frequency Division Multiplexing (OFDM) cooperative networks over frequency selective channels. Through exploiting the unitary structure of the orthogonal STBCs, they design a low complexity differential STBC-LCP-OFDM receiver for cooperative networks. They assume the amplify-and-forward...

    Provided By Simon Fraser University

  • White Papers // Jan 2011

    Variable-Base Tacit Communication: A New Energy Efficient Communication Scheme for Sensor Networks

    Energy conservation is a major concern in wireless sensor networking. Conventionally in wireless communications, each bit transmitted by a node consumes one unit of energy. Some recent advances, however, explore silent time intervals between signal transmissions to convey information (Zhu and Sivakumar). Such a scheme of Communication through Silence (CtS),...

    Provided By Simon Fraser University

  • White Papers // Jan 2011

    An Energy Efficient Data Collection Framework for Wireless Sensor Networks by Exploiting Spatiotemporal Correlation

    Limited energy supply is one of the major constraints in wireless sensor networks. A feasible strategy is to aggressively reduce the spatial sampling rate of sensors, i.e., the density of the measure points in a field. By properly scheduling, the authors want to retain the high fidelity of data collection....

    Provided By Simon Fraser University

  • White Papers // Oct 2010

    Developing Families of Method-Oriented Architecture

    The method engineering paradigm is motivated by the need for software development methods suitable for specific situations and requirements of organizations in general and projects in particular. Assembly-based method engineering, as one of the prominent approaches in method engineering, creates project-specific methods by (re-)using method components, specified with method processes...

    Provided By Simon Fraser University

  • White Papers // Sep 2010

    Distortion Exponents of Two-Way Relaying Networks With Multiple-Access Broadcast Protocol

    In this paper, the authors study the end-to-end distortions when transmitting two Gaussian signals in a three-node, half-duplex, and two-way relaying network, where two users communicate in both directions with the help of one relay, and can transmit at different rates. They focus on the two-phase Multiple-Access Broad-Cast (MABC) cooperation...

    Provided By Simon Fraser University

  • White Papers // Jun 2010

    Dynamic Power Reduction in a Novel CMOS 5T-SRAM for Low-Power SoC

    In this paper, the authors address a novel Five-Transistor (5T) CMOS SRAM design with high performance and reliability in 65nm CMOS, and illustrates how it reduces the dynamic power consumption in comparison with the conventional and low-power 6T SRAM counterparts. This design can be used as cache memory in processors...

    Provided By Simon Fraser University

  • White Papers // May 2010

    Counterparty Credit Risk And American Options

    This paper analyzes the effect of counterparty credit risk on optimal early exercise policy and value of American options. In contrast with the existing literature the authors find that the price of the underlying asset at which it is optimal to exercise an American option can be significantly different when...

    Provided By Simon Fraser University

  • White Papers // Apr 2010

    Streaming Scalable Video Over WiMAX Networks

    Broadcasting multiple scalable video streams over wireless broadband access networks in real time is a challenging problem, because of the limited channel capacity and variable bit rate of the videos. The difficulty is further increased in the presence of receiver buffer size limitations which may introduce buffer overflow possibilities. The...

    Provided By Simon Fraser University

  • White Papers // Mar 2010

    Application of Prediction-Based Particle Filters for Teleoperations Over the Internet

    In this paper, the authors present the prediction-based particle filter approach for processing motion and force data in teleoperation over the Internet. They first introduce the prediction-based particle filter algorithm, one of the Sequential Monte Carlo methods based on the recursive Bayesian prediction. The prediction algorithm is applied to dynamic...

    Provided By Simon Fraser University

  • White Papers // Feb 2010

    Routing With Uncertainty in Wireless Mesh Networks

    Existing routing protocols for Wireless Mesh Networks (WMNs) are generally optimized with statistical link measures, without focusing on the intrinsic uncertainty of wireless links. The authors show evidence that, with the transient link uncertainties at PHY and MAC layers, a pseudo-deterministic routing protocol that relies on average or historic statistics...

    Provided By Simon Fraser University

  • White Papers // Feb 2010

    Dynamic Financial Constraints: Distinguishing Mechanism Design From Exogenously Incomplete Regimes

    The authors formulate and solve a range of dynamic models of information-constrained credit that allow for moral hazard and unobservable investment. They compare them to full insurance and exogenously incomplete financial regimes (autarky, saving only, and borrowing and lending in a single asset). They develop computational methods based on mechanism...

    Provided By Simon Fraser University

  • White Papers // Dec 2009

    A Framework for Cross-Layer Optimization of Video Streaming in Wireless Networks

    The authors present a general framework for optimizing the quality of video streaming in wireless networks that are composed of multiple wireless stations. The framework is general because: it can be applied to different wireless networks, such as IEEE 802.11e WLAN and IEEE 802.16 WiMAX; it can employ different objective...

    Provided By Simon Fraser University

  • White Papers // Nov 2009

    Analysis of Authentication Schemes for Nonscalable Video Streams

    The problem of multimedia stream authentication has received significant attention by previous works and various solutions have been proposed. These solutions, however, have not been rigorously analyzed and contrasted to each other, and thus their relative suitability for different streaming environments is not clear. In this paper, the authors conduct...

    Provided By Simon Fraser University

  • White Papers // Oct 2009

    Value Versus Growth In Dynamic Equity Investing

    The authors develop an expected return measure from a dynamic equity valuation model. They entitle the portion of this measure that is easy to calculate with readily available financial market measures and does not require statistical estimation as Static Growth Expected Return (SGER). They use analysts' earnings forecasts as an...

    Provided By Simon Fraser University

  • White Papers // Sep 2009

    Empirical Analysis of Multi-Sender Segment Transmission Algorithms in Peer-to-Peer Streaming

    The authors study and analyze segment transmission scheduling algorithms in swarm-based Peer-To-Peer (P2P) streaming systems. These scheduling algorithms are responsible for coordinating the streaming of video data from multiple senders to a receiver in each streaming session. Although scheduling algorithms directly impact the user-perceived visual quality in streaming sessions, they...

    Provided By Simon Fraser University

  • White Papers // Aug 2009

    Evaluation of the Intel Core I7 Turbo Boost Feature

    The Intel Core i7 processor code named Nehalem has a novel feature called Turbo Boost which dynamically varies the frequencies of the processor's cores. The frequency of a core is determined by core temperature, the number of active cores, the estimated power and the estimated current consumption. The authors perform...

    Provided By Simon Fraser University

  • White Papers // Jul 2009

    Exploiting SIP for Botnet Communication

    The Session Initiation Protocol (SIP) implements methods for generic service discovery and versatile messaging. It is, therefore, expected to be a key component in many telecommunication and Internet services. For example, the 3GPP IP Multimedia Subsystem relies heavily on SIP. Given its critical role, ensuring the security of SIP is...

    Provided By Simon Fraser University

  • White Papers // Jul 2009

    CEO Overconfidence And Bank Risk Taking

    Recent studies document that executives tend to be overconfident. That is, they believe that they have more precise knowledge about future events than they actually have. In this paper, the authors examine the relationship between CEO overconfidence and bank risk taking. The authors measure CEO overconfidence using media coverage, and...

    Provided By Simon Fraser University

  • White Papers // Jun 2009

    Exploring Practical Benefits of Asymmetric Multicore Processors

    Asymmetric Multi-core Processors (AMP) are built of cores that expose the same ISA but differ in performance, complexity, and power consumption. A typical AMP might consist of a plenty of slow, small and simple cores and a handful of fast, large and complex cores. AMPs have been proposed as a...

    Provided By Simon Fraser University

  • White Papers // Jul 2009

    CEO Overconfidence And Bank Risk Taking

    Recent studies document that executives tend to be overconfident. That is, they believe that they have more precise knowledge about future events than they actually have. In this paper, the authors examine the relationship between CEO overconfidence and bank risk taking. The authors measure CEO overconfidence using media coverage, and...

    Provided By Simon Fraser University

  • White Papers // Jul 2009

    Exploiting SIP for Botnet Communication

    The Session Initiation Protocol (SIP) implements methods for generic service discovery and versatile messaging. It is, therefore, expected to be a key component in many telecommunication and Internet services. For example, the 3GPP IP Multimedia Subsystem relies heavily on SIP. Given its critical role, ensuring the security of SIP is...

    Provided By Simon Fraser University

  • White Papers // Nov 2009

    Analysis of Authentication Schemes for Nonscalable Video Streams

    The problem of multimedia stream authentication has received significant attention by previous works and various solutions have been proposed. These solutions, however, have not been rigorously analyzed and contrasted to each other, and thus their relative suitability for different streaming environments is not clear. In this paper, the authors conduct...

    Provided By Simon Fraser University

  • White Papers // Dec 2009

    A Framework for Cross-Layer Optimization of Video Streaming in Wireless Networks

    The authors present a general framework for optimizing the quality of video streaming in wireless networks that are composed of multiple wireless stations. The framework is general because: it can be applied to different wireless networks, such as IEEE 802.11e WLAN and IEEE 802.16 WiMAX; it can employ different objective...

    Provided By Simon Fraser University

  • White Papers // Sep 2009

    Empirical Analysis of Multi-Sender Segment Transmission Algorithms in Peer-to-Peer Streaming

    The authors study and analyze segment transmission scheduling algorithms in swarm-based Peer-To-Peer (P2P) streaming systems. These scheduling algorithms are responsible for coordinating the streaming of video data from multiple senders to a receiver in each streaming session. Although scheduling algorithms directly impact the user-perceived visual quality in streaming sessions, they...

    Provided By Simon Fraser University

  • White Papers // Apr 2010

    Streaming Scalable Video Over WiMAX Networks

    Broadcasting multiple scalable video streams over wireless broadband access networks in real time is a challenging problem, because of the limited channel capacity and variable bit rate of the videos. The difficulty is further increased in the presence of receiver buffer size limitations which may introduce buffer overflow possibilities. The...

    Provided By Simon Fraser University

  • White Papers // Feb 2010

    Dynamic Financial Constraints: Distinguishing Mechanism Design From Exogenously Incomplete Regimes

    The authors formulate and solve a range of dynamic models of information-constrained credit that allow for moral hazard and unobservable investment. They compare them to full insurance and exogenously incomplete financial regimes (autarky, saving only, and borrowing and lending in a single asset). They develop computational methods based on mechanism...

    Provided By Simon Fraser University

  • White Papers // Oct 2009

    Value Versus Growth In Dynamic Equity Investing

    The authors develop an expected return measure from a dynamic equity valuation model. They entitle the portion of this measure that is easy to calculate with readily available financial market measures and does not require statistical estimation as Static Growth Expected Return (SGER). They use analysts' earnings forecasts as an...

    Provided By Simon Fraser University

  • White Papers // May 2010

    Counterparty Credit Risk And American Options

    This paper analyzes the effect of counterparty credit risk on optimal early exercise policy and value of American options. In contrast with the existing literature the authors find that the price of the underlying asset at which it is optimal to exercise an American option can be significantly different when...

    Provided By Simon Fraser University

  • White Papers // Jan 2012

    Developing Semantically-Enabled Families of Method-oriented Architectures

    Method Engineering (ME) has emerged with the aim of improving software development methods by creating and proposing adaptation frameworks whereby methods are created to provide suitable matches with the requirements of the organization and address project concerns and fit with specific situations. Therefore, methods are defined and modularized into components...

    Provided By Simon Fraser University

  • White Papers // Feb 2012

    Automated Planning for Feature Model Configuration Based on Functional and Non-Functional Requirements

    Feature modeling is one of the main techniques used in Software Product Line Engineering to manage the variability within the products of a family. Concrete products of the family can be generated through a configuration process. The configuration process selects and/or removes features from the feature model according to the...

    Provided By Simon Fraser University

  • White Papers // Aug 2011

    A Quality Aggregation Model for Service-Oriented Software Product Lines Based on Variability and Composition Patterns

    Quality evaluation is a challenging task in monolithic software systems, and is even more complex when it comes to Service-Oriented Software Product Lines (SOSPL), as it needs to analyze the attributes of a family of SOA systems. In SOSPL, variability can be managed and planned at the architectural level to...

    Provided By Simon Fraser University

  • White Papers // Jun 2011

    Bringing Semantics to Feature Models With SAFMDL

    Software product line engineering is a paradigm that advocates the reusability of software engineering assets and the rapid development of new applications for a target domain. These objectives are achieved by capturing the commonalities and variabilities between the applications of a target domain and through the development of comprehensive and...

    Provided By Simon Fraser University

  • White Papers // Oct 2011

    Automated Planning for Feature Model Configuration Based on Stakeholders' Business Concerns

    In Software Product Line Engineering, concrete products of a family can be generated through a configuration process over a feature model. The configuration process selects features from the feature model according to the stakeholders' requirements. Selecting the right set of features for one product from all the available features in...

    Provided By Simon Fraser University

  • White Papers // Oct 2010

    Developing Families of Method-Oriented Architecture

    The method engineering paradigm is motivated by the need for software development methods suitable for specific situations and requirements of organizations in general and projects in particular. Assembly-based method engineering, as one of the prominent approaches in method engineering, creates project-specific methods by (re-)using method components, specified with method processes...

    Provided By Simon Fraser University

  • White Papers // Jul 2011

    A Semantic Account for Modularity in Multi-Language Modeling of Search Problems

    Motivated by the need to combine systems and logics, the authors develop a modular approach to the Model eXpansion (MX) problem, a task which is common in applications such as planning, scheduling, computational biology, formal verification. They develop a modular framework where parts of a modular system can be written...

    Provided By Simon Fraser University

  • White Papers // Jan 2011

    Variable-Base Tacit Communication: A New Energy Efficient Communication Scheme for Sensor Networks

    Energy conservation is a major concern in wireless sensor networking. Conventionally in wireless communications, each bit transmitted by a node consumes one unit of energy. Some recent advances, however, explore silent time intervals between signal transmissions to convey information (Zhu and Sivakumar). Such a scheme of Communication through Silence (CtS),...

    Provided By Simon Fraser University

  • White Papers // Feb 2011

    Precoded Differential OFDM for Relay Networks

    The authors study the performance of differential space-time codes with Linear Constellation Precoding (LCP) for Orthogonal Frequency Division Multiplexing (OFDM) cooperative networks over frequency selective channels. Through exploiting the unitary structure of the orthogonal STBCs, they design a low complexity differential STBC-LCP-OFDM receiver for cooperative networks. They assume the amplify-and-forward...

    Provided By Simon Fraser University

  • White Papers // Jan 2011

    An Energy Efficient Data Collection Framework for Wireless Sensor Networks by Exploiting Spatiotemporal Correlation

    Limited energy supply is one of the major constraints in wireless sensor networks. A feasible strategy is to aggressively reduce the spatial sampling rate of sensors, i.e., the density of the measure points in a field. By properly scheduling, the authors want to retain the high fidelity of data collection....

    Provided By Simon Fraser University

  • White Papers // Sep 2010

    Distortion Exponents of Two-Way Relaying Networks With Multiple-Access Broadcast Protocol

    In this paper, the authors study the end-to-end distortions when transmitting two Gaussian signals in a three-node, half-duplex, and two-way relaying network, where two users communicate in both directions with the help of one relay, and can transmit at different rates. They focus on the two-phase Multiple-Access Broad-Cast (MABC) cooperation...

    Provided By Simon Fraser University

  • White Papers // Feb 2010

    Routing With Uncertainty in Wireless Mesh Networks

    Existing routing protocols for Wireless Mesh Networks (WMNs) are generally optimized with statistical link measures, without focusing on the intrinsic uncertainty of wireless links. The authors show evidence that, with the transient link uncertainties at PHY and MAC layers, a pseudo-deterministic routing protocol that relies on average or historic statistics...

    Provided By Simon Fraser University

  • White Papers // Jun 2011

    User-Level Scheduling on NUMA Multicore Systems Under Linux

    The problem of scheduling on multi-core systems remains one of the hottest and the most challenging topics in systems research. Introduction of Non-Uniform Memory Access (NUMA) multi-core architectures further complicates this problem, as on NUMA systems the scheduler needs not only consider the placement of threads on cores, but also...

    Provided By Simon Fraser University

  • White Papers // Aug 2009

    Evaluation of the Intel Core I7 Turbo Boost Feature

    The Intel Core i7 processor code named Nehalem has a novel feature called Turbo Boost which dynamically varies the frequencies of the processor's cores. The frequency of a core is determined by core temperature, the number of active cores, the estimated power and the estimated current consumption. The authors perform...

    Provided By Simon Fraser University

  • White Papers // Jun 2009

    Exploring Practical Benefits of Asymmetric Multicore Processors

    Asymmetric Multi-core Processors (AMP) are built of cores that expose the same ISA but differ in performance, complexity, and power consumption. A typical AMP might consist of a plenty of slow, small and simple cores and a handful of fast, large and complex cores. AMPs have been proposed as a...

    Provided By Simon Fraser University

  • White Papers // Mar 2010

    Application of Prediction-Based Particle Filters for Teleoperations Over the Internet

    In this paper, the authors present the prediction-based particle filter approach for processing motion and force data in teleoperation over the Internet. They first introduce the prediction-based particle filter algorithm, one of the Sequential Monte Carlo methods based on the recursive Bayesian prediction. The prediction algorithm is applied to dynamic...

    Provided By Simon Fraser University

  • White Papers // May 2011

    Predicate Abstraction With Adjustable-Block Encoding

    Several successful software model checkers are based on a technique called Single-Block Encoding (SBE), which computes costly predicate abstractions after every single program operation. Large-Block Encoding (LBE) computes abstractions only after a large number of operations, and it was shown that this significantly improves the verification performance. In this paper,...

    Provided By Simon Fraser University

  • White Papers // Jun 2010

    Dynamic Power Reduction in a Novel CMOS 5T-SRAM for Low-Power SoC

    In this paper, the authors address a novel Five-Transistor (5T) CMOS SRAM design with high performance and reliability in 65nm CMOS, and illustrates how it reduces the dynamic power consumption in comparison with the conventional and low-power 6T SRAM counterparts. This design can be used as cache memory in processors...

    Provided By Simon Fraser University

  • White Papers // Mar 2014

    Automated Cognitive Presence Detection in Online Discussion Transcripts

    In this paper, the authors present the results of an exploratory study that examined the use of text mining and text classification for the automation of the content analysis of discussion transcripts within the context of distance education. They used Community of Inquiry (CoI) framework and focused on the content...

    Provided By Simon Fraser University