- Subscribe to this page:
- RSS
- Email Alert
University of Texas at El Paso
(529 results)-
White Papers
User Partitioning for Less Overhead in MIMO Interference Channels
July 6, 2010, 12:00am PDT
This paper presents a study on multiple-antenna interference channels, accounting for general overhead as a function of the number of users and antennas in the network. The model includes both...
Provided by University of Texas
-
White Papers
A New Eclipse-Based JML Compiler Built Using AST Merging
March 1, 2010, 12:00am PST
The Java Modeling Language (JML) is a formal interface specification language to document the behavior of Java program modules and has been used in many research and industrial projects. However,...
Provided by University of Texas
-
White Papers
XML Query Routing in Structured P2P Systems
January 1, 2012, 12:00am PST
This paper addresses the problem of data placement, indexing, and querying large XML data repositories distributed over an existing P2P service infrastructure. The authors' architecture scales...
Provided by University of Texas
-
White Papers
A Fully Pipelined XQuery Processor
January 1, 2011, 12:00am PST
The authors present a high-performance, pull-based streaming processor for XQuery, called XQPull, that can handle many essential features of the language, including general predicates, recursive...
Provided by University of Texas
-
White Papers
Routing and Provisioning VPNs Based on Hose Traffic Models and/or Constraints
January 1, 2008, 12:00am PST
This paper investigates various questions associated with routing and provisioning Virtual Private Networks (VPNs) based on hose traffic models or constraints, i.e., using aggregate (hose) traffic...
Provided by University of Texas
-
White Papers
Supervised Learning for Insider Threat Detection Using Stream Mining
September 16, 2011, 12:00am PDT
Insider threat detection requires the identification of rare anomalies in contexts where evolving behaviors tend to mask such anomalies. This paper proposes and tests an ensemble-based stream...
Provided by University of Texas
-
White Papers
Insider Threat Detection Using Stream Mining and Graph Mining
November 2, 2011, 12:00am PDT
Evidence of malicious insider activity is often buried within large data streams, such as system logs accumulated over months or years. Ensemble-based stream mining leverages multiple...
Provided by University of Texas
-
White Papers
Towards Security-Aware Program Visualization for Analyzing In-Lined Reference Monitors
April 21, 2011, 12:00am PDT
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifications for such...
Provided by University of Texas
-
White Papers
Challenges and Future Directions of Software Technology: Secure Software Development
September 28, 2010, 12:00am PDT
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure systems and secure...
Provided by University of Texas
-
White Papers
Model-Checking In-Lined Reference Monitors
October 27, 2009, 12:00am PDT
A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM's) enforce software security...
Provided by University of Texas
-
White Papers
Enforcing IRM Security Policies: Two Case Studies
April 11, 2009, 12:00am PDT
SPoX (Security Policy XML) is a declarative language for specifying application security policies for enforcement by In-lined Reference Monitors. Two case studies are presented that demonstrate...
Provided by University of Texas
-
White Papers
Secure Peer-to-Peer Networks for Trusted Collaboration
October 31, 2007, 12:00am PDT
An overview of recent advances in secure peer-to-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policies in these decentralized,...
Provided by University of Texas
-
White Papers
Logical Concurrency Control From Sequential Proofs
January 4, 2010, 12:00am PST
The authors are interested in identifying and enforcing the isolation requirements of a concurrent program, i.e., concurrency control that ensures that the program meets its specification. This...
Provided by University of Texas
-
White Papers
Identifying Failure-Inducing Combinations in a Combinatorial Test Set
January 27, 2012, 12:00am PST
A t-way combinatorial test set is designed to detect failures that are triggered by combinations involving no more than t parameters. Assume that the authors have executed a t-way test set and...
Provided by University of Texas
-
White Papers
The CleanJava Language for Functional Program Verification
August 1, 2011, 12:00am PDT
Unlike Hoare-style program verification, functional program verification supports forward reasoning by viewing a program as a mathematical function from one program state to another and proving...
Provided by University of Texas
-
White Papers
Functional Verification of Class Invariants in CleanJava
November 1, 2011, 12:00am PDT
In Cleanroom-style functional program verification, a program is viewed as a mathematical function from one program state to another, and the program is verified by comparing two functions, the...
Provided by University of Texas
-
White Papers
A Tutorial on Functional Program Verification
August 1, 2011, 12:00am PDT
This paper gives a quick tutorial introduction to functional program verification. In functional program verification, a program is viewed as a mathematical function from one program state to...
Provided by University of Texas
-
White Papers
Functional Specification and Verification of Object-Oriented Programs
August 1, 2010, 12:00am PDT
One weakness of Hoare-style verification techniques based on first-order predicate logic is that reasoning is backward from post-conditions to preconditions. A natural, forward reasoning is...
Provided by University of Texas
-
White Papers
Access Control Contracts for Java Program Modules
April 1, 2010, 12:00am PDT
Application-level security has become an issue in recent years; for example, errors, discrepancies and omissions in the specification of access control constraints of security-sensitive software...
Provided by University of Texas
-
White Papers
Runtime Constraint Checking Approaches for OCL, a Critical Comparison
May 1, 2010, 12:00am PDT
There are many benefits of checking design constraints at run-time - for example, automatic detection of design drift or corrosion. However, there is no comparative analysis of different...
Provided by University of Texas
-
White Papers
Integrating Random Testing With Constraints for Improved Efficiency and Diversity
May 1, 2008, 12:00am PDT
Random testing can be fully automated, eliminates subjectiveness in constructing test data, and increases the diversity of test data. However, randomly generated tests may not satisfy program's...
Provided by University of Texas
-
White Papers
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking
May 1, 2008, 12:00am PDT
OCL is a formal notation to specify constraints on UML models that cannot otherwise be expressed by diagrammatic notations such as class diagrams. Using OCL one can document detailed design...
Provided by University of Texas
-
White Papers
Systems Engineering for High Performance Computing Software: The HDDA/DAGH Infrastructure for Implementation of Parallel Structured Adaptive Mesh Refinement
November 5, 2007, 12:00am PST
This paper defines, describes and illustrates a systems engineering process for development of software systems implementing high performance computing applications. The example which drives the...
Provided by University of Texas
-
White Papers
Toward the Verification of a Simple Hypervisor
September 16, 2011, 12:00am PDT
Virtualization promises significant benefits in security, efficiency, dependability, and cost. Achieving these benefits depends upon the reliability of the underlying virtual machine monitors...
Provided by University of Texas
-
White Papers
Enhancing the Role of Inlining in Effective Interprocedural Parallelization
June 25, 2011, 12:00am PDT
The emergence of multi-core architectures makes it essential for optimizing compilers to automatically extract parallelism for large scientific applications composed of many subroutines residing...
Provided by University of Texas
-
White Papers
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0
May 6, 2008, 12:00am PDT
Numerous formal approaches to software assurance are available, including: run-time monitoring, model checking, and theorem proving. All of these approaches require formal specifications of...
Provided by University of Texas
-
White Papers
Reducing Configurations to Monitor in a Software Product Line
August 17, 2010, 12:00am PDT
A software product line is a family of programs where each program is defined by a unique combination of features. Product lines, like conventional programs, can be checked for safety properties...
Provided by University of Texas
-
White Papers
A Comparative Analysis of Parallel Computing Approaches for Genome Assembly
January 12, 2010, 12:00am PST
Over the last two decades, the authors have witnessed a tremendous growth of sequenced genomic data. However, the algorithms and computational power required to expeditiously process, classify,...
Provided by University of Texas
-
White Papers
A-Serv: A Novel Architecture Providing Scalable Quality of Service
February 24, 2012, 12:00am PST
QoS architectures define how routers process packets to ensure QoS service guarantees enforced. Existing QoS architectures such as Integrated Services (IntServ), Differentiated Services...
Provided by University of Texas
-
White Papers
Lattice Basis Delegation in Fixed Dimension and Shorter-Ciphertext Hierarchical IBE
May 27, 2010, 12:00am PDT
The authors present a technique for delegating a short lattice basis that has the advantage of keeping the lattice dimension unchanged upon delegation. Building on this result, they construct two...
Provided by University of Texas
-
White Papers
Efficient Lattice (H)IBE in the Standard Model
March 21, 2011, 12:00am PDT
The authors construct an efficient identity based encryption system based on the standard Learning With Errors (LWE) problem. Their security proof holds in the standard model. The key step in the...
Provided by University of Texas
-
White Papers
Detecting Dangerous Queries: A New Approach for Chosen Ciphertext Security
January 4, 2012, 12:00am PST
The authors present a new approach for creating chosen ciphertext secure encryption. The focal point of their work is a new abstraction that they call Detectable Chosen Ciphertext Security (DCCA)....
Provided by University of Texas
-
White Papers
ODON: An On-Demand Security Overlay for Mission-Critical Applications
May 9, 2009, 12:00am PDT
In this paper, the authors consider the construction of a large-scale, highly available and secure overlay network to enable mission-critical communication between emergency personnel at a...
Provided by University of Texas
-
White Papers
On Throughput Optimality With Delayed Network-State Information
February 20, 2008, 12:00am PST
The authors study the problem of routing/scheduling in a wireless network with partial/delayed Network (channel and queue) State Information (NSI). They consider two cases: a network with a...
Provided by University of Texas
-
White Papers
Decoupled Dynamic Cache Segmentation
February 1, 2012, 12:00am PST
The Least Recently Used (LRU) replacement policy performs poorly in the Last-Level Cache (LLC) because temporal locality of memory accesses is filtered by first and second level caches. The...
Provided by University of Texas
-
White Papers
Program Interferometry
November 1, 2011, 12:00am PDT
Modern microprocessors have many micro-architectural features. Quantifying the performance impact of one feature such as dynamic branch prediction can be difficult. On one hand, a timing simulator...
Provided by University of Texas
-
White Papers
An Optimized Scaled Neural Branch Predictor
October 1, 2011, 12:00am PDT
Conditional branch prediction remains one of the most important enabling technologies for high-performance microprocessors. A small improvement in accuracy can result in a large improvement in...
Provided by University of Texas
-
White Papers
A Two-Level Load/Store Queue Based on Execution Locality
March 14, 2008, 12:00am PDT
Multicore processors have emerged as a powerful platform on which to efficiently exploit Thread-Level Parallelism (TLP). However, due to Amdahl's Law, such designs will be increasingly limited by...
Provided by University of Texas
-
White Papers
A Flexible Heterogeneous Multi-Core Architecture
July 9, 2007, 12:00am PDT
Multi-core processors naturally exploit Thread-Level Parallelism (TLP). However, extracting Instruction-Level Parallelism (ILP) from individual applications or threads is still a challenge as...
Provided by University of Texas
-
White Papers
Graphical Models of Separation Logic
June 2, 2009, 12:00am PDT
Graphs are used to model control and data flow among events occurring in the execution of a concurrent program. The authors' treatment of data flow covers both shared storage and external...
Provided by University of Texas
-
White Papers
Extracting Trust Network Information From Scientific Web Portals
August 5, 2008, 12:00am PDT
An increased exchange of (Scientific) information across organizations and disciplines is one of the long-term goals of the semantic web. In any such exchange of information, it is not difficult...
Provided by University of Texas at El Paso
-
White Papers
Propagating Updates Through XML Views Using Lineage Tracing
October 27, 2009, 12:00am PDT
This paper addresses the problem of updating XML views over relational data by translating view updates expressed in the XQuery update facility to embedded SQL updates. Although the XML views may...
Provided by University of Texas at Arlington
-
White Papers
Android Application for Visual Communication Software Project Management Plan
September 27, 2010, 12:00am PDT
This Software Project Management Plan (SPMP) describes the layout and planning of the Android Application for Visual Communication (VCA); the deliverables, schedules, dependencies, constraints,...
Provided by University of Texas at Dallas
-
White Papers
An Assessment of Middleware Platforms for Accessing Remote Services
May 1, 2010, 12:00am PDT
Due to the shift from Software-As-A-Product (SaaP) to Software-As-A-Service (SaaS), software components that were developed to run in a single address space must increasingly be accessed remotely...
Provided by University of Texas at Austin (McCombs)
-
White Papers
ReSCo: A Middleware Component for Reliable Service Composition in Pervasive Systems
January 29, 2010, 12:00am PST
Service composition schemes create high-level application services by combining several basic services. Service composition schemes for dynamic, open systems, such as those found in pervasive...
Provided by University of Texas at Arlington
-
White Papers
PAQ: Persistent Adaptive Query Middleware for Dynamic Environments
April 27, 2009, 12:00am PDT
Pervasive computing applications often entail continuous monitoring tasks, issuing persistent queries that return continuously updated views of the operational environment. This paper presents...
Provided by University of Texas at Austin (McCombs)
-
White Papers
PBKM: A Secure Knowledge Management Framework
January 1, 2010, 12:00am PST
This paper advocates research into techniques that support the extraction, sharing, and utilization of knowledge for collaborative problem solving applications. this paper present a system...
Provided by University of Texas at San Antonio
-
White Papers
Providing Quality of Service Guarantees Without Per-Flow State
January 1, 2010, 12:00am PST
Two approaches have been proposed to improve the quality of service provided by the Internet: integrated services and differentiated services. Integrated services requires perflow state at each...
Provided by University of Texas at Dallas
-
White Papers
Bodyshopping Versus Offshoring: Determinants of Outsourcing Behavior by Indian Software and Information Technology Firms
November 18, 2007, 12:00am PST
Investigations of offshore outsourcing of information systems have presented little evidence on developing country software and Information Technology (IT) industries. Yet it is these developing...
Provided by University of Texas at Dallas
-
White Papers
Application-Specific Interconnection Network Design in Clustered DSP Processors
January 1, 2010, 12:00am PST
To meet increasing performance requirements of DSP applications, application specific processor designs, e.g. Function Unit (FU) duplication and Register File (RF) distribution, are widely used in...
Provided by University of Texas at Dallas
-
White Papers
Robust Dynamic Continuous Network Design Problem
January 18, 2008, 12:00am PST
A robust optimization model is presented for the dynamic traffic assignment - based continuous network design problem, which accounts for a bi-level objective and long-term origin - destination...
Provided by University of Texas at Austin (McCombs)
-
White Papers
Simple and Effective Adaptive Routing Algorithms Using Multi-Layer Wormhole Networks
February 25, 2008, 12:00am PST
Interconnection networks have been adopted in multicomputer systems, clusters, or Chip Multiprocessors (CMPs). Among various routing algorithms in interconnection networks, adaptive routing shows...
Provided by University of Texas
-
White Papers
An Adaptive Routing Algorithm ForWavelength-Routed Optical Networks With a Distributed Control Scheme
October 6, 2007, 12:00am PDT
For a wavelength-routed network in which connection requests are arriving and departing at high rates, an appropriate control scheme must be implemented to set up lightpaths for each request in a...
Provided by University of Texas
-
White Papers
Adaptive Data Quality for Persistent Queries in Sensor Networks
February 5, 2008, 12:00am PST
Wireless sensor networks are emerging as a convenient mechanism to constantly monitor the physical world. The volume of information in such networks can be extremely large and, to be meaningful to...
Provided by University of Texas at Austin (McCombs)
-
White Papers
SafeStore: A Durable and Practical Storage System
June 4, 2007, 12:00am PDT
This paper presents SafeStore, a distributed storage system designed to maintain long-term data durability despite conventional hardware and software faults, environmental disruptions, and...
Provided by University of Texas at Austin (McCombs)
-
White Papers
PeterNet : An Emergent Technology Based Radio Access Network Architecture for Next Generation Cellular Wireless Systems
January 1, 2010, 12:00am PST
For next generation wireless cellular networks, the Radio Access Network (RAN) component is destined to evolve into a high-capacity, flexible and reconfigurable network architecture supporting...
Provided by University of Texas
-
White Papers
Calculating, Creating, And Claiming Value In Business Markets: Status And Research Agenda
July 26, 2009, 12:00am PDT
B2B markets offer challenges that differ from those in B2C markets in addressing these issues (e.g., Anderson, Narus, and Narayandas 2009; Dwyer and Tanner 2008). These challenges stem from the...
Provided by University of Texas
-
White Papers
A Multi-Country Assessment of Mobile Payment Adoption
June 1, 2008, 12:00am PDT
Mobile payments (m-payments) are seen as having a bright future. However, the adoption of m-payments has been uneven globally. Different countries have different adoption experiences. In this...
Provided by University of Texas at San Antonio
-
White Papers
PeterNet: A Free Space Optics Based BackHaul Architecture for Next Generation Cellular Networks
January 1, 2010, 12:00am PST
There has been an increasing demand for bandwidth-intensive services in mobile devices, such as streaming video and music, which bring about a paradigm shift in wireless cellular network...
Provided by University of Texas
-
White Papers
The MacBook Air's Connection to the Future of Cloud Computing
March 6, 2008, 12:00am PST
Imagine a world where information is always accessible - music, movies, documents, and presentations are all stored online in remote servers. Sharing these items with collaborators does not...
Provided by University of Texas
-
White Papers
Organizational Effectiveness And Managements Public Values: A Canonical Analysis
August 2, 2007, 12:00am PDT
Canonical correlation analysis of manufacturing firm data demonstrated that organizational "Competence" (executive ratings of organizational performance and executive turnover) was not strongly...
Provided by University of Texas at Arlington
-
White Papers
The Evolution of PDA Usability
February 29, 2008, 12:00am PST
Personal Digital Assistant (PDA) is a term for any small and portable handheld device providing computing and information storage and retrieval capabilities for personal or business use. It often...
Provided by University of Texas
-
White Papers
Computer Hacking and the Techniques of Neutralization: An Empirical Assessment
February 2, 2010, 12:00am PST
The primary goal of this paper is to explore why some individuals engage in illegal computer hacking. Certainly, most moderately experienced computer users could develop some anecdote that might...
Provided by University of Texas (Dallas)
-
White Papers
E-Government and Cyber Security: The Role of Cyber Security Exercises
January 14, 2009, 12:00am PST
e-Government operations are increasing with citizen demand for timely and cost effective services. Security associated with individual systems is similar to many e-commerce solutions. The span of...
Provided by University of Texas
-
White Papers
Securitization And Real Investment In Incomplete Markets
January 1, 2009, 12:00am PST
This paper studies the impact of financial innovations on real investment decisions within the frame-work of an incomplete market economy comprised of firms, investors, and an intermediary. The...
Provided by University of Texas at Austin (McCombs)
-
White Papers
To Place Better Or Price Cheaper? Bidding And Pricing Under Keyword Advertising
February 1, 2009, 12:00am PST
This paper considers an integrated game-theoretic model in which firms compete for advertising positions and then compete in price for customers in a product market. Positions are differentiated...
Provided by University of Texas at Austin (McCombs)
-
White Papers
Too Organic For Organic Listing? Interplay Between Organic And Sponsored Listing In Search Advertising
May 1, 2009, 12:00am PDT
This paper aims to answer three major questions related to the unexplored role of organic listing in online search advertising: (1) Should advertisers who are already placed at top slots in the...
Provided by University of Texas at Austin (McCombs)
-
White Papers
The Interaction Between Knowledge Codification And Knowledge Sharing Networks
December 1, 2008, 12:00am PST
Current Knowledge Management (KM) technologies and strategies advocate two different approaches: knowledge codification and knowledge sharing networks. However, the extant literature has paid...
Provided by University of Texas at Austin (McCombs)
-
White Papers
Oligopolistic Pricing With Online Search
June 11, 2010, 12:00am PDT
The author set up a game-theoretic model to examine the oligopolistic price competition, considering two features of online search: the existence of a common search ordering and shoppers who have...
Provided by University of Texas at Austin (McCombs)
-
White Papers
Managing Project Failure Risk Through Contingent Contracts In Procurement Auctions
July 1, 2009, 12:00am PDT
Procurement auctions are sometimes plagued with a chosen supplier's failing to accomplish a project successfully. The risk of project failure is considerable, especially when the buyer has...
Provided by University of Texas at Austin (McCombs)
-
White Papers
Consensus Information And Non-Professional Investors? Reaction To The Revelation Of Estimate Inaccuracies
May 6, 2009, 12:00am PDT
To curb opportunism in financial reporting, scholars and regulators have proposed that firms be required to report reconciliations of prior year estimates. The author provides experimental...
Provided by University of Texas at Austin (McCombs)
-
White Papers
Do Debt Constraints Influence Firms' Sensitivity To A Temporary Tax Holiday On Repatriations?
February 3, 2010, 12:00am PST
This paper examines whether U.S. multinationals' private and public debt constraints influence their responses to a temporary reduction in repatriation taxes. Using a sample of 421 U.S....
Provided by University of Texas at Austin (McCombs)
-
White Papers
Did FIN 48 Arrest The Trend In Multistate Tax Aggressiveness?
November 25, 2009, 12:00am PST
This paper examines whether state corporate Effective Tax Rates (ETRs) that began trending downward in the 1990s rose in response to FASB Interpretation No. 48 (FIN 48), Accounting for Uncertainty...
Provided by University of Texas at Austin (McCombs)
-
White Papers
Interpreting The Book-Tax Income Gap As Earnings Management Or Tax Sheltering
March 1, 2010, 12:00am PST
The measured book-tax gap is often used as a surrogate for one of the behaviors that influences the gap - earnings management or tax sheltering - without adjusting for the effect of other...
Provided by University of Texas at Austin (McCombs)
-
White Papers
Taxable And Tax-Deferred Investing: A Tax-Arbitrage Approach
March 1, 2008, 12:00am PST
The authors analyze an intertemporal portfolio problem with both taxable and tax-deferred retirement accounts. Using a tax-arbitrage argument, they identify conditions under which the optimal...
Provided by University of Texas at Austin (McCombs)
-
White Papers
Management Earnings Forecasts: A Review And Framework
January 11, 2008, 12:00am PST
In this paper, author provides a framework in which to view management earnings forecasts. By evaluating management earnings forecast research within the context of this framework, author renders...
Provided by University of Texas at Austin (McCombs)
-
White Papers
Sentiment-Driven Overvaluation And Management Forecasting Strategies
January 1, 2010, 12:00am PST
Prior research suggests that managers adopt disclosure strategies to exacerbate sentiment driven overvaluation, concluding that managers either "Keep quiet" or inject bias into certain voluntary...
Provided by University of Texas at Austin (McCombs)
-
White Papers
Mutual Fund Tax Clienteles
March 11, 2010, 12:00am PST
Mutual funds are pooled investment vehicles with diverse tax clienteles - taxable accounts and tax-qualified retirement accounts. Paper investigates whether the characteristics, investment...
Provided by University of Texas at Austin (McCombs)
-
White Papers
Market Liquidity, Asset Prices, And Welfare
August 1, 2008, 12:00am PDT
This paper presents an equilibrium model for the demand and supply of liquidity and its impact on asset prices and welfare. The author show that when constant market presence is costly, purely...
Provided by University of Texas at Austin (McCombs)
-
White Papers
Asset Allocation And Portfolio Performance: Evidence From University Endowment Funds
January 7, 2010, 12:00am PST
The author use university endowment funds to study the relationship between asset allocation decisions and performance in multiple asset class portfolios. Although endowments differ substantially...
Provided by University of Texas at Austin (McCombs)
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
