- Subscribe to this page:
- RSS
- Email Alert
University of Illinois
(536 results)-
White Papers
Privacy and Ethical Issues in Location-Based Tracking Systems
March 1, 2009, 12:00am PST
Location-based Tracking Systems (LTSs) use a variety of technologies to record the locations of objects. An LTS can increase the risks to the privacy and security of individuals. Previous studies...
Provided by University of Illinois at Urbana Champaign
-
White Papers
A Lightweight Hypervisor for Malware Analysis
May 6, 2008, 12:00am PDT
Malicious software is rampant on the Internet and is costing billions of dollars each year. Safe and thorough analysis of malware is key to protecting systems and cleaning those that have already...
Provided by University of Illinois
-
White Papers
Data Mining Using High Performance Data Clouds: Experimental Studies Using Sector and Sphere
March 6, 2008, 12:00am PST
The paper describes the design and implementation of a high performance cloud that one has used to archive, analyze and mine large distributed data sets. By a cloud, one means an infrastructure...
Provided by University of Illinois
-
White Papers
On Availability of Intermediate Data in Cloud Computations
April 21, 2009, 12:00am PDT
This paper takes a renewed look at the problem of managing intermediate data that is generated during dataflow computations (e.g., MapReduce, Pig, Dryad, etc.) within clouds. It discusses salient...
Provided by University of Illinois
-
White Papers
Distributed RFID Tag Storage Infrastructures
May 11, 2009, 12:00am PDT
This paper leverages increasing passive RFID tag memory to propose distributed RFID tag storage infrastructures (D-RFID stores). A D-RFID store is a large set of tags with significantly sized...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
Mobile Wireless Access Via MIMO Relays
February 11, 2009, 12:00am PST
While a network with stationary nodes can provide large capacity in many current wireless systems, a network with mobile users suffers from severe performance degradation. This happens due to...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
On the Mobile Wireless Access Via MIMO Relays
July 21, 2009, 12:00am PDT
While a network with stationary nodes can provide large capacity in many current wireless systems, a network with mobile users suffers from severe performance degradation. This happens due to...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
HybridCast: A Hybrid Probabilistic/Deterministic Approach for Adjustable Broadcast Reliability in Mobile Wireless Ad Hoc Networks
June 1, 2009, 12:00am PDT
Broadcast is a crucial yet expensive building block for many applications in bandwidth-scarce mobile wireless ad hoc networks. The paper proposes a hybrid deterministic/probabilistic,...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
Tele-Immersion for Wireless Networks
May 29, 2009, 12:00am PDT
Tele-immersive 3D multi camera environments are beginning to emerge and they bring with them lots of applications as well as challenging research problems. They enable cooperative interaction...
Provided by University of Illinois
-
White Papers
RRE: A Game-Theoretic Intrusion Response and Recovery Engine
April 4, 2009, 12:00am PDT
Preserving the availability and integrity of networked computing systems in the face of fast-spreading intrusions requires advances not only in detection algorithms, but also in automated response...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms
January 12, 2008, 12:00am PST
Viruses that infect smartphones are emerging as a new front in the fight against computer viruses. This paper model the propagation of mobile phone viruses in order to study their impact on the...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
Parallel Objects: Virtualization and In-Process Components
January 1, 2010, 12:00am PST
Developing complex parallel applications that run efficiently on large parallel machines is dif-cult because the programmer has to handle many interrelated issues. Two issues that are of interest...
Provided by University of Illinois
-
White Papers
A New Framework for On-Demand Virtualization, Repurposing and Fusion of Heterogeneous Sensors
March 10, 2009, 12:00am PDT
This paper describes the first step towards the realization of complex and large scale cross-organization virtual observatories by presenting a new semantically-enhanced "Sensor Network as a...
Provided by University of Illinois
-
White Papers
Run-Time Visualization of Program Data
November 7, 2007, 12:00am PST
An important improvement to visualization systems will provide a graphics "Window into an application" displaying program data at run-time through an easy-to-use graphical interface. With little...
Provided by University of Illinois
-
White Papers
Are Disks the Dominant Contributor for Storage Failures?
April 25, 2008, 12:00am PDT
Building reliable storage systems becomes increasingly challenging as the complexity of modern storage systems continues to grow. Understanding storage failure characteristics is crucially...
Provided by University of Illinois at Urbana Champaign
-
White Papers
Location-Aware Computing
November 15, 2008, 12:00am PST
Location-aware computing refers to systems that can sense the current location of a user or device and change behavior based on this location. Location-aware computing allows institutions to offer...
Provided by University of Illinois
-
White Papers
Efficient Metadata Management for Cloud Computing Applications
January 19, 2010, 12:00am PST
Cloud computing applications require scalable, elastic and fault tolerant storage system. In this paper, the authors describe how metadata management can be improved for a file system built for...
Provided by University of Illinois
-
White Papers
Interference-Aware Loop-Free Routing For Mesh Networks
January 1, 2010, 12:00am PST
In recent years, there has been an explosive growth in the development of mesh networks to provide cheap yet high band width Internet access to areas that does not have coverage of high-bandwidth...
Provided by University of Illinois
-
White Papers
Designing Routing Metrics for Mesh Networks
January 1, 2010, 12:00am PST
Designing routing metrics is critical for performance in wireless mesh networks. The unique characteristics of mesh networks, such as static nodes and the shared nature of the wireless medium,...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
Withindows: A Framework for Transitional Desktop and Immersive User Interfaces
January 10, 2008, 12:00am PST
The uniqueness of 3D interaction is often used to justify levels of user fatigue that are significantly higher than those of desktop systems. Object manipulation and symbolic manipulation...
Provided by University of Illinois
-
White Papers
Secure Unified Cellular Ad Hoc Network Routing
September 9, 2009, 12:00am PDT
Previous simulations have shown substantial performance gains can be achieved by using hybrid cellular and Wireless LAN (WLAN) approaches. In a hybrid system, a proxy in an area of strong...
Provided by University of Illinois
-
White Papers
An Architecture for Regulatory Compliant Database Management
January 1, 2010, 12:00am PST
Spurred by financial scandals and privacy concerns, governments worldwide have moved to ensure confidence in digital records by regulating their retention and deletion. These requirements have led...
Provided by University of Illinois
-
White Papers
Log Correlation for Intrusion Detection: A Proof of Concept
January 1, 2010, 12:00am PST
Intrusion detection is an important part of networked systems security protection. Although commercial products exist, finding intrusions has proven to be a difficult task with limitations under...
Provided by University of Illinois
-
White Papers
The Design of VoIP Systems With High Perceptual Conversational Quality
December 3, 2008, 12:00am PST
This paper describes the work on real-time two-party and multi-party VoIP (voice-over-IP) systems that can achieve high perceptual conversational quality. It focuses on the fundamental...
Provided by University of Illinois
-
White Papers
Structured Databases on the Web: Observations and Implications
January 1, 2010, 12:00am PST
The Web has been rapidly "Deepened" by the prevalence of databases online. With the potentially unlimited information hidden behind their query interfaces, this "Deep Web" of searchable databases...
Provided by University of Illinois at Urbana Champaign
-
White Papers
Power Aware Storage Cache Management
January 1, 2010, 12:00am PST
Reducing energy consumption is an important issue for data centers. Among the various components of a data center, storage is one of the biggest energy consumers. Previous studies have shown that...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
Requirements of Secure Storage Systems for Healthcare Records
July 9, 2007, 12:00am PDT
Recent compliance regulations are intended to foster and restore human trust in digital information records and, more broadly, in the businesses, hospitals, and educational enterprises. In the...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
Proteus: A Topology Malleable Data Center Network
September 26, 2010, 12:00am PDT
Full-bandwidth connectivity between all servers of a data center may be necessary for all-to-all traffic patterns, but such interconnects suffer from high cost, complexity, and energy consumption....
Provided by University of Illinois
-
White Papers
An Overview of the Open Science Data Cloud
April 25, 2010, 12:00am PDT
The Open Science Data Cloud is a distributed cloud based infrastructure for managing, analyzing, archiving and sharing scientific datasets. This paper introduces the Open Science Data Cloud, give...
Provided by University of Illinois at Chicago
-
White Papers
DebianRunner: Running Desktop Applications on Android Smartphones
October 27, 2010, 12:00am PDT
The Android operating system runs atop the Linux kernel, yet lacks the ability to natively execute standard Linux desktop applications. Though efforts have been made to enable this functionality,...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
SWIFT: Scheduling in Web Servers for Fast Response Time
January 1, 2010, 12:00am PST
This paper addresses the problem of how to service web requests quickly in order to minimize the client response time. Some of the recent work uses the idea of the Shortest Remaining Processing...
Provided by University of Illinois at Chicago
-
White Papers
Cost-Aware Caching Algorithms for Distributed Storage Servers
July 18, 2007, 12:00am PDT
This paper studies replacement algorithms for non-uniform access caches that are used in distributed storage systems. Considering access latencies as major costs of data management in such a...
Provided by University of Illinois
-
White Papers
Place Prioritization for Biodiversity Reserve Network Design: A Comparison of the SITES and ResNet Software Packages for Coverage and Efficiency
July 27, 2007, 12:00am PDT
A new class of network design problems was introduced by Fingerhut et al. and independently by Duffield et al. to address, among other things, the issue of uncertainty in the demand matrix. The...
Provided by University of Illinois
-
White Papers
Routing and Network Design With Robustness to Changing or Uncertain Traffic Demands
July 27, 2007, 12:00am PDT
A new class of network design problems was introduced by Fingerhut et al. and independently by Duffield et al, to address, among other things, the issue of uncertainty in the demand matrix. The...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
Heuristic Approaches to Energy-Efficient Network Design Problem
April 1, 2007, 12:00am PDT
Energy management remains a critical problem in wire-less networks since battery technology cannot keep up with rising communication expectations. Current approaches to energy conservation reduce...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
OCast: Optimal Multicast Routing Protocol for Wireless Sensor Networks
September 2, 2009, 12:00am PDT
In this paper, authors describe oCast, an energy-optimal multicast routing protocol for wireless sensor networks. The general minimum-energy multicast problem is NP-hard. Intermittent connectivity...
Provided by University of Illinois
-
White Papers
Secure Collaborative Sensing for Crowdsourcing Spectrum Data in White Space Networks
February 4, 2010, 12:00am PST
Collaborative Sensing is an important enabling technique for realizing opportunistic spectrum access in white space (Cognitive Radio) networks. This paper considers the security ramifications of...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
How to Bootstrap Security for Ad-Hoc Network: Revisited
January 15, 2009, 12:00am PST
There are various network-enabled and embedded computers deployed around them. Although the authors can get enormous conveniences by connecting them together, it is difficult to securely associate...
Provided by University of Illinois at Urbana-Champaign
-
White Papers
Specifying and Analyzing Workflows for Automated Identification and Data Capture
October 5, 2008, 12:00am PDT
Humans use computers to carry out tasks that neither is able to do easily alone: humans provide eyes, hands, and judgment while computers provide computation, networking, and storage. This...
Provided by University of Illinois
-
White Papers
Reasoning About Concurrency for Security Tunnels
April 29, 2007, 12:00am PDT
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserve confidentiality...
Provided by University of Illinois at Urbana-Champaign
-
Software
Virtual Dugout 1.5 (iOS)
March 13, 2012, 12:00am PDT
Virtual Dugout provides University of Illinois Baseball fans with an interactive and immersive virtual space to dynamically augment and enhance the experience of following Illini baseball. With...
Provided by University of Illinois
-
White Papers
Optimizing Quality-of-Information in Cost-Sensitive Sensor Data Fusion
January 29, 2012, 12:00am PST
This paper investigates maximizing quality of information subject to cost constraints in data fusion systems. The authors consider data fusion applications that try to estimate or predict some...
Provided by University of Illinois
-
White Papers
Design and Use of Htalib - A Library for Hierarchically Tiled Arrays
August 20, 2007, 12:00am PDT
Hierarchically Tiled Arrays (HTAs) are data structures that facilitate locality and parallelism of array intensive computations with block-recursive nature. The model underlying HTAs provides...
Provided by University of Illinois
-
White Papers
Rewriting Logic Semantics of Orc
November 20, 2007, 12:00am PST
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to succinctly program sophisticated web orchestration...
Provided by University of Illinois
-
White Papers
A Rewriting-Based Approach to OO Language Prototyping and Design
November 27, 2006, 12:00am PST
This paper introduces a framework for the rapid prototyping of object oriented programming languages. This framework is based on specifying the semantics of a language using term rewriting and a...
Provided by University of Illinois
-
White Papers
Pluggable Policies for C
January 23, 2008, 12:00am PST
Many programs make implicit assumptions about data. Common assumptions include whether a variable has been initialized or can only contain non-null references. Domain-specific examples are also...
Provided by University of Illinois
-
White Papers
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance
February 5, 2007, 12:00am PST
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different designs for the same...
Provided by University of Illinois
-
White Papers
MOP: An Efficient and Generic Runtime Verification Framework
May 2, 2007, 12:00am PDT
Monitoring-Oriented Programming (MOP) is a formal framework for software development and analysis, in which the developer specifies desired properties using definable specification formalisms,...
Provided by University of Illinois
-
White Papers
KOOL: A K-Based Object-Oriented Language
October 23, 2006, 12:00am PDT
This paper documents KOOL, a dynamic, object-oriented language designed using the K framework. The KOOL language includes many features available in mainstream object-oriented languages, including...
Provided by University of Illinois
-
White Papers
A K Definition of Scheme
October 26, 2007, 12:00am PDT
This paper presents an executable rewriting logic semantics of R5RS Scheme using the K definitional technique. The authors refer to this definition as K-Scheme. The presented semantics follows the...
Provided by University of Illinois
-
White Papers
A Formal Executable Semantics of Verilog
May 26, 2010, 12:00am PDT
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of the authors' formalization is to provide a concise and mathematically rigorous...
Provided by University of Illinois
-
White Papers
Matching Logic: An Alternative to Hoare/Floyd Logic
March 20, 2011, 12:00am PDT
This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic specifications are...
Provided by University of Illinois
-
White Papers
A Rewriting Logic Approach to Type Inference
February 2, 2010, 12:00am PST
Meseguer and Rosu proposed Rewriting Logic Semantics (RLS) as a programming language definitional framework that unifies operational and algebraic denotational semantics. RLS has already been used...
Provided by University of Illinois
-
White Papers
From Rewriting Logic Executable Semantics to Matching Logic Program Verification
July 25, 2009, 12:00am PDT
Rewriting Logic Semantics (RLS) is a definitional framework in which a programming language is defined as a rewrite theory: the algebraic signature defines the program configurations, the...
Provided by University of Illinois
-
White Papers
A Rewriting Logic Approach to Type Inference: Technical Report
March 28, 2008, 12:00am PDT
Meseguer and Rosu proposed Rewriting Logic Semantics (RLS) as a programming language definitional framework that unifies operational and algebraic denotational semantics. Once a language is...
Provided by University of Illinois
-
White Papers
Enforcing Alias Analysis for Weakly Typed Languages
January 1, 2012, 12:00am PST
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized pointers, and...
Provided by University of Illinois
-
White Papers
A Formal Semantics of C With Applications
November 22, 2010, 12:00am PST
This paper describes an executable formal semantics of C expressed using a formalism based on term rewriting. Being executable, the semantics has been thoroughly tested against the GCC torture...
Provided by University of Illinois
-
White Papers
Making Maude Definitions More Interactive
February 25, 2012, 12:00am PST
This paper presents an interface for achieving interactive executions of Maude terms by allowing console and file Input/Output (I/O) operations. This interface consists of a Maude API for I/O...
Provided by University of Illinois
-
White Papers
Towards Categorizing and Formalizing the JDK API
March 1, 2012, 12:00am PST
Formal specification of correct library usage is extremely useful, both for software developers and for the formal analysis tools they use, such as model checkers or runtime monitoring systems....
Provided by University of Illinois
-
White Papers
JavaMOP: Efficient Parametric Runtime Monitoring Framework
March 23, 2012, 12:00am PDT
Runtime monitoring is a technique usable in all phases of the software development cycle, from initial testing, to debugging, to actually maintaining proper function in production code. Of...
Provided by University of Illinois
-
White Papers
From Hoare Logic to Matching Logic
March 1, 2012, 12:00am PST
Matching logic has been recently proposed as an alternative program verification approach. Unlike Hoare logic, where one defines a language-specific proof system that needs to be proved sound for...
Provided by University of Illinois
-
White Papers
Towards a Unified Theory of Operational and Axiomatic Semantics
February 1, 2012, 12:00am PST
This paper presents a nine-rule language-independent proof system that takes an operational semantics as axioms and derives program properties, including ones corresponding to Hoare triples. This...
Provided by University of Illinois
-
White Papers
Scalable Parametric Runtime Monitoring
April 1, 2012, 12:00am PDT
Run-time monitoring is an effective means to improve the reliability of systems. In recent years, parametric monitoring, which is highly suitable for object-oriented systems, has gained...
Provided by University of Illinois
-
White Papers
Defining the Undefinedness of C
April 27, 2012, 12:00am PDT
This paper investigates undefined behavior in C and offers a few simple techniques for operationally specifying such behavior formally. A semantics-based undefinedness checker for C is developed...
Provided by University of Illinois
-
White Papers
An Executable Formal Semantics of C With Applications: Technical Report
July 1, 2011, 12:00am PDT
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 770 of 776 test...
Provided by University of Illinois
-
White Papers
Capacity of Multiple Unicast in Wireless Networks: A Polymatroidal Approach
November 21, 2011, 12:00am PST
A classical result in undirected wireline networks is the near optimality of routing (flow) for multiple-unicast traffic (multiple sources communicating independent messages to multiple...
Provided by University of Illinois
-
White Papers
Token-DCF: An Opportunistic MAC Protocol for Wireless Networks
February 2, 2012, 12:00am PST
IEEE 802.11 DCF is the MAC protocol currently used in wireless LANs. 802.11 DCF is inefficient due to two types of overhead; channel idle time and collision time. This paper presents the design...
Provided by University of Illinois
-
White Papers
Maximum Likelihood Time Delay Estimation and Cramer-Rao Bounds for Multipath Exploitation
March 2, 2012, 12:00am PST
In this paper, time delay estimation using the maximum likelihood principle is addressed for the multipath exploitation problem, and the corresponding Cramer-Rao bounds are derived. A single...
Provided by University of Illinois
-
White Papers
On the Capacity of the Symmetric Interference Channel With a Cognitive Relay at High SNR
February 9, 2012, 12:00am PST
The capacity of the Interference Channel with Cognitive Relay, a channel model which generalizes the broadcast, interference and cognitive interference channels, is still an open question. To make...
Provided by University of Illinois
-
White Papers
State Aware Data Dissemination Over Structured Overlays
June 22, 2006, 12:00am PDT
The authors describe the problem of data dissemination in stream-oriented applications where the required filter is a function of the current state. They call such functions dynamic filters. A...
Provided by University of Illinois
-
White Papers
Model Checking Multithreaded Programs With Asynchronous Atomic Methods
June 2, 2006, 12:00am PDT
In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchronously and concurrently on...
Provided by University of Illinois
-
White Papers
On Scaling Multi-Agent Task Reallocation Using Market-Based Approach
April 25, 2007, 12:00am PDT
Multi-Agent Systems (MAS) provide a promising technology for addressing problems such as search and rescue missions, mine sweeping, and surveillance. These problems are a form of the...
Provided by University of Illinois
-
White Papers
Passive Localization: Large Size Sensor Network Localization Based on Environmental Events
February 23, 2008, 12:00am PST
The authors develop a localization algorithm based on global environmental events observed by a sensor network. Examples of such events include the sound of thunder, the shades of moving clouds,...
Provided by University of Illinois
-
White Papers
A Framework for State-Space Exploration of Java-Based Actor Programs
September 4, 2009, 12:00am PDT
The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be interleaved, and...
Provided by University of Illinois
-
White Papers
ReAssert: Suggesting Repairs for Broken Unit Tests
August 25, 2009, 12:00am PDT
Developers often change software in ways that cause tests to fail. When this occurs, developers must determine whether failures are caused by errors in the code under test or in the test code...
Provided by University of Illinois
-
White Papers
Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures
September 29, 2009, 12:00am PDT
This paper analyzes energy characteristics of parallel algorithms executed on scalable multi-core processors. Specifically, the authors provide a methodology for evaluating energy scalability of...
Provided by University of Illinois
-
White Papers
Reducing the Costs of Bounded-Exhaustive Testing
February 22, 2009, 12:00am PST
Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test inputs and provides test...
Provided by University of Illinois
-
White Papers
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques
January 5, 2010, 12:00am PST
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Non-determinism in actors results from the different possible orders in which...
Provided by University of Illinois
-
White Papers
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code
January 16, 2010, 12:00am PST
Mutation testing is a method for measuring the quality of test suites. Given a system under test and a test suite, mutations are systematically inserted into the system, and the test suite is...
Provided by University of Illinois
-
White Papers
Model Checking MDPs With a Unique Compact Invariant Set of Distributions
June 12, 2011, 12:00am PDT
The semantics of Markov Decision Processes (MDPs), when viewed as transformers of probability distributions, can described as a labeled transition system over the probability distributions over...
Provided by University of Illinois
Keep Up with TechRepublic
Upcoming Webcasts
Upcoming webcasts from leading IT vendors
-
2012-05-24 at 11:00 am PT | 2:00 pm ET
Live Webcast: The 2012 Guide to Better Business Benefits from Data Analytics
Sponsored by Tableau Software
-
2012-06-05 at 11:00 am PT | 2:00 pm ET
Live Webcast: Getting to Microsoft Office 365: The right migration for your business
Sponsored by Microsoft
-
2012-06-12 at 9:00 am PT | 12:00 pm ET
Live Webcast: WebSphere DataPower for Mobile Application Security
Sponsored by IBM
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!
