- Subscribe to this page:
- RSS
- Email Alert
University of California
(1028 results)-
White Papers
PTIDES: A Programming Model for Distributed Real-Time Embedded Systems
May 28, 2008, 12:00am PDT
The authors describe a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems), that extends the discrete-event model of computation with a carefully...
Provided by University of California
-
White Papers
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
September 23, 2009, 12:00am PDT
This paper shows how Ptolemy II Discrete-Event (DE) models can be formally analyzed using Real-Time Maude. The authors formalize in Real-Time Maude the semantics of a subset of hierarchical...
Provided by University of California
-
White Papers
Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems
March 10, 2008, 12:00am PDT
Zhao, Liu, and Lee have proposed using a Discrete-Event (DE) model of computation as a programming model for distributed real-time embedded systems. The advantage of using DE is that it provides a...
Provided by University of California
-
White Papers
Scalable Models Using Model Transformation
July 13, 2008, 12:00am PDT
Higher-order model composition can be employed as a mechanism for scalable model construction. By creating a description that manipulates model fragments as first-class objects, designers' work of...
Provided by University of California
-
White Papers
Implementation of Real-Time Distributed Discrete-Event Execution With Fault Tolerance
November 8, 2007, 12:00am PST
The authors build on PTIDES, a programming model for distributed embedded systems that uses Discrete-Event (DE) models as program specifications. PTIDES improves on distributed DE execution by...
Provided by University of California
-
White Papers
Template-Based Program Veri Cation and Program Synthesis
December 26, 2011, 12:00am PST
Program verification is the task of automatically generating proofs for a program's compliance with a given specification. Program synthesis is the task of automatically generating a program that...
Provided by University of California
-
White Papers
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
January 4, 2009, 12:00am PST
Multi-threaded programs are prone to errors caused by un-intended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel code is free of such...
Provided by University of California
-
White Papers
Types for Precise Thread Interference
October 7, 2011, 12:00am PDT
The potential for unexpected interference between threads makes multi-threaded programming notoriously difficult. Programmers use a variety of synchronization idioms such as locks and barriers to...
Provided by University of California
-
White Papers
Sage: Hybrid Checking for Flexible Specifications
June 23, 2007, 12:00am PDT
Software systems typically contain large APIs that are informally specified and hence easily misused. This paper presents the Sage programming language, which is designed to enforce precise...
Provided by University of California
-
White Papers
Tweakable Block Ciphers
September 2, 2010, 12:00am PDT
A common trend in applications of block ciphers over the past decades has been to employ block ciphers as one piece of a "Mode of operation" - possibly, a way to make a secure symmetric-key...
Provided by University of California
-
White Papers
Exploring the Relationship BetweenWeb Application Development Tools and Security
May 2, 2011, 12:00am PDT
How should software engineers choose which tools to use to develop secure web applications? Different developers have different opinions regarding which language, framework, or...
Provided by University of California
-
White Papers
Phishing on Mobile Devices
May 12, 2011, 12:00am PDT
The authors assess the risk of phishing on mobile platforms. Mobile operating systems and browsers lack secure application iden-tity indicators, so the user cannot always identify whether a link...
Provided by University of California
-
White Papers
Defeating UCI: Building Stealthy and Malicious Hardware
March 7, 2011, 12:00am PST
In previous work Hicks et al. proposed a method called Unused Circuit Identification (UCI) for detecting malicious backdoors hidden in circuits at design time. The UCI algorithm essentially looks...
Provided by University of California
-
White Papers
The Murky Issue of Changing Process Identity: Revising "Setuid Demystified"
May 13, 2008, 12:00am PDT
Dropping unneeded process privileges promotes security, but is notoriously error-prone due to confusing set id system calls with unclear semantics and subtle portability issues. To make things...
Provided by University of California
-
White Papers
Lazy Annotation for Program Testing and Verification
April 15, 2010, 12:00am PDT
The authors describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program on demand, as a...
Provided by University of California
-
White Papers
Security Primitives and Protocols for Ultra Low Power Sensor Systems
December 18, 2011, 12:00am PST
Security requirements in sensor systems include resiliency against physical and side-channel attacks, low energy for communication, storage, and computation, and the ability to realize a variety...
Provided by University of California
-
White Papers
Inferring Channel Buffer Bounds Via Linear Programming
December 15, 2007, 12:00am PST
The authors present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. They...
Provided by University of California
-
White Papers
On the Spam Campaign Trail
April 6, 2008, 12:00am PDT
Over the last decade, unsolicited bulk email, or spam, has transitioned from a minor nuisance to a major scourge, adversely affecting virtually every Internet user. Industry estimates suggest that...
Provided by University of California
-
White Papers
Energy Efficient E-Textile Based Portable Keyboard
May 26, 2011, 12:00am PDT
The authors have created sensor architecture, data collection and processing techniques for an E-Textile wireless keyboard. They leverage the inherent properties of E-Textiles to produce optimized...
Provided by University of California
-
White Papers
Detecting Local Events Using Global Sensing
December 18, 2011, 12:00am PST
In order to create low power, low latency and reliable sensing systems, the authors propose a sensing strategy that identifies local events by the means of global measurements. They claim that...
Provided by University of California
-
White Papers
Adaptive Multi-Valued Volume Data Visualization Using Data-Dependent Error Metrics
January 1, 2008, 12:00am PST
Adaptive, and especially view-dependent, volume visualization is used to display large volume data at interactive frame rates preserving high visual quality in specified or implied regions of...
Provided by University of California
-
White Papers
Robust Passive Hardware Metering
September 1, 2011, 12:00am PDT
Current hardware metering techniques, which use manifestational properties of gates for ID extraction, are weakened by the non-uniform effects of aging in conjunction with variations in...
Provided by University of California
-
White Papers
Medical Diagnostic-Based Sensor Selection
December 18, 2011, 12:00am PST
Wearable sensing systems have facilitated a variety of applications in Wireless Health. Due to the considerable number of sensors and their constant monitoring these systems are often expensive...
Provided by University of California
-
White Papers
Nanotechnology-Based Trusted Remote Sensing
December 18, 2011, 12:00am PST
The authors present a new nanotechnology PPUF-based architecture for trusted remote sensing. Current public physical unclonable function designs encompass complex circuits requiring high...
Provided by University of California
-
White Papers
Securing Netlist-Level FPGA Design Through Exploiting Process Variation and Degradation
February 24, 2011, 12:00am PST
The continuously widening gap between the Non-Recurring Engineering (NRE) and Recurring Engineering (RE) costs of producing Integrated Circuit (IC) products in the past few decades gives high...
Provided by University of California
-
White Papers
Matched Public PUF: Ultra Low Energy Security Platform
June 25, 2011, 12:00am PDT
Hardware-based Physically Unclonable Functions (PUFs) leverage intrinsic process variation of modern integrated circuits to provide interesting security solutions but either induce high storage...
Provided by University of California
-
White Papers
Analyzing the Crossdomain Policies of Flash Applications
May 12, 2011, 12:00am PDT
Adobe Flash is a rich Internet application platform. Flash applications are often deployed to the Web; The Flash Player plugin is installed on a large fraction of all Web connected PCs. Flash...
Provided by University of California
-
White Papers
Fingerprinting Information in JavaScript Implementations
May 12, 2011, 12:00am PDT
To date, many attempts have been made to fingerprint users on the web. These fingerprints allow browsing sessions to be linked together and possibly even tied to a user's identity. They can be...
Provided by University of California
-
White Papers
The Emperor's New APIs: On the (In)Secure Usage of New Client-Side Primitives
May 10, 2010, 12:00am PDT
Several new browser primitives have been proposed to meet the demands of application interactivity while enabling security. To investigate whether applications consistently use these primitives...
Provided by University of California
-
White Papers
Secure Cooperative Sharing of JavaScript, Browser, and Physical Resources
May 1, 2010, 12:00am PDT
For better application-level controls on mashups, they advocate extending the Single Origin Policy and associated primitives to support a cooperative model that allows applications to express...
Provided by University of California
-
White Papers
Scalable Security for Petascale Parallel File Systems
November 16, 2007, 12:00am PST
Petascale, high-performance file systems often hold sensitive data and thus require security, but authentication and authorization can dramatically reduce performance. Existing security solutions...
Provided by University of California
-
White Papers
Searching and Navigating Petabyte-Scale File Systems Based on Facets
November 12, 2007, 12:00am PST
As users interact with file systems of ever increasing size, it is becoming more difficult for them to familiarize themselves with the entire contents of the file system. In petabyte-scale...
Provided by University of California
-
White Papers
Measurement and Analysis of Large-Scale Network File System Workloads
April 30, 2008, 12:00am PDT
In this paper, the authors present the analysis of two large-scale network file system workloads. They measured CIFS traffic for two enterprise-class file servers deployed in the NetApp data...
Provided by University of California
-
White Papers
Logan: Automatic Management for Evolvable, Large-Scale, Archival Storage
November 16, 2008, 12:00am PST
Archival storage systems designed to preserve scientific data, business data, and consumer data must maintain and safeguard tens to hundreds of petabytes of data on tens of thousands of media for...
Provided by University of California
-
White Papers
Scalable Full-Text Search for Petascale File Systems
November 17, 2008, 12:00am PST
As file system capacities reach the petascale, it is becoming increasingly difficult for users to organize, find, and manage their data. File system search has the potential to greatly improve how...
Provided by University of California
-
White Papers
Using Storage Class Memory for Archives With DAWN, a Durable Array of Wimpy Nodes
October 1, 2011, 12:00am PDT
The long life and low usage of archival data make cost considerations paramount. Today, most archival storage architectures depend on magnetic or optical-media such as tape and disk because they...
Provided by University of California
-
White Papers
Analysis of Workload Behavior in Scientific and Historical Long-Term Data Repositories
March 1, 2011, 12:00am PST
The scope of archival systems is expanding beyond cheap tertiary storage: scientific and medical data is increasingly digital, and the public has a growing desire to digitally record their...
Provided by University of California
-
White Papers
Semantic Data Placement for Power Management in Archival Storage
November 10, 2010, 12:00am PST
Power is the greatest lifetime cost in an archival system, and, as decreasing costs make disks more attractive than tapes, spinning disks account for the majority of power drawn. To reduce this...
Provided by University of California
-
White Papers
Examining Energy Use in Heterogeneous Archival Storage Systems
June 10, 2010, 12:00am PDT
Controlling energy usage in data centers, and storage in particular, continues to rise in importance. Many systems and models have examined energy efficiency through intelligent spin-down of disks...
Provided by University of California
-
White Papers
Reliable and Randomized Data Distribution Strategies for Large Scale Storage Systems
August 24, 2011, 12:00am PDT
The ever-growing amount of data requires highly scalable storage solutions. The most flexible approach is to use storage pools that can be expanded and scaled down by adding or removing storage...
Provided by University of California
-
White Papers
Exploiting Opportunistic Scheduling in Cellular Data Networks
October 9, 2008, 12:00am PDT
Third Generation (3G) cellular networks utilize time varying and location-dependent channel conditions to provide broadband services. They employ opportunistic scheduling to efficiently utilize...
Provided by University of California
-
White Papers
Measuring Privacy Risk in Online Social Networks
August 26, 2009, 12:00am PDT
Measuring privacy risk in online social networks is a challenging task. One of the fundamental difficulties is quantifying the amount of information revealed unintentionally. The authors present...
Provided by University of California
-
White Papers
Mitigating DoS Attacks on the Paging Channel by Efficient Encoding in Page Messages
August 26, 2009, 12:00am PDT
Paging is an important mechanism for network bandwidth efficiency and mobile terminal battery life. It has been widely adopted by mobile networks, such as cellular networks, WiMax, and Mobile IP....
Provided by University of California
-
White Papers
The Java 5 Generics Compromise Orthogonality to Keep Compatibility
September 23, 2008, 12:00am PDT
In response to a long-lasting anticipation by the Java community, version 1.5 of the Java 2 platform - referred to as Java 5 - introduced generic types and methods to the Java language. The Java 5...
Provided by University of California
-
White Papers
Distributed Authentication for Low-Cost Wireless Networks
March 27, 2008, 12:00am PDT
Cost is one of the key challenges facing the deployment of wireless networks. Though 802.11-based networks have shown that costly, licensed spectrum is not always necessary, the costs of other...
Provided by University of California
-
White Papers
Noise Injection for Search Privacy Protection
June 11, 2009, 12:00am PDT
To protect user privacy in the search engine context, most current approaches, such as private information retrieval and privacy preserving data mining, require a server-side deployment, thus...
Provided by University of California
-
White Papers
Path-Based Inductive Synthesis for Program Inversion
December 4, 2010, 12:00am PST
In this paper, the authors investigate the problem of semi-automated inversion of imperative programs, which has the potential to make it much easier and less error prone to write programs that...
Provided by University of California
-
White Papers
Achieving Edge-Based Fairness in a Multi-Hop Environment
October 13, 2007, 12:00am PDT
The authors propose efficient buffer-accounting algorithms that achieve edge-based max-min and proportional fairness in a Multi-Hop (MH), multi-bottleneck network environment by extending and...
Provided by University of California
-
White Papers
Proximity Breeds Danger: Emerging Threats in Metro-Area Wireless Networks
June 27, 2007, 12:00am PDT
The growing popularity of wireless networks and mobile devices is starting to attract unwanted attention especially as potential targets for malicious activities reach critical mass. In this...
Provided by University of California
-
White Papers
A Taxonomy of Biologically Inspired Research in Computer Networking
May 15, 2008, 12:00am PDT
The natural world is enormous, dynamic, incredibly diverse, and highly complex. Despite the inherent challenges of surviving in such a world, biological organisms evolve, self-organize,...
Provided by University of California
-
White Papers
IPv4 Address Allocation and the BGP Routing Table Evolution
January 1, 2011, 12:00am PST
The IP address consumption and the global routing table size are two of the vital parameters of the Internet growth. This paper quantitatively characterize the IPv4 ad-dress allocations made over...
Provided by University of California
-
White Papers
Policies and Proofs for Code Auditing
June 26, 2007, 12:00am PDT
Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. The authors have developed a language, called BCIC, for policies...
Provided by University of California
-
White Papers
Models and Proofs of Protocol Security
April 14, 2009, 12:00am PDT
As computer security has become a broad, rich field, rigorous models have been developed for many policies and mechanisms. Sometimes these models have been the subject of formal proofs, even...
Provided by University of California
-
White Papers
Security Protocols: Principles and Calculi
June 12, 2007, 12:00am PDT
This paper is a basic introduction to some of the main themes in the design and analysis of security protocols. It includes a brief explanation of the principles of protocol design and of a...
Provided by University of California
-
White Papers
Is Our Monetary Structure A Systemic Cause For Financial Instability? Evidence And Remedies From Nature
April 1, 2010, 12:00am PDT
Fundamental laws govern all complex flow systems, including natural ecosystems, economic and financial systems. Natural ecosystems are practical exemplars of sustainability: enduring, vital,...
Provided by University of California
-
White Papers
Aliased Register Allocation for Straight-Line Programs Is NP-Complete
May 27, 2008, 12:00am PDT
Register allocation is NP-complete in general but can be solved in linear time for straight-line programs where each variable has at most one definition point if the bank of registers is...
Provided by University of California
-
White Papers
The P2P War: Someone Is Monitoring Your Activities!
January 1, 2011, 12:00am PST
In an effort to prosecute P2P users, RIAA and MPAA have reportedly started to create decoy users: they participate in P2P networks in order to identify illegal sharing of content. This has...
Provided by University of California
-
White Papers
Compressive Oversampling for Robust Data Transmission in Sensor Networks
August 1, 2009, 12:00am PDT
Data loss in wireless sensing applications is inevitable and while there have been many attempts at coping with this issue, recent developments in the area of Compressive Sensing (CS) provide a...
Provided by University of California
-
White Papers
Low Bandwidth Call Trace Logging for Sensor Networks
February 16, 2009, 12:00am PST
Call traces can provide detailed insight into the operation of distributed embedded systems. Developers inspect traces to understand and debug systems using manual and automatic techniques such as...
Provided by University of California
-
White Papers
Online Calibration
December 13, 2008, 12:00am PST
Time synchronization is an extremely important service in wireless sensor networks. The notion of time on a node is maintained using crystal oscillators. These oscillators are designed to...
Provided by University of California
-
White Papers
Actuation-Assisted External Calibration of Distributed Camera Sensor Networks
July 4, 2007, 12:00am PDT
While cameras have the potential to enable many applications in sensor networks, to be effective they first must be externally calibrated. In prior systems, cameras, identified by controllable...
Provided by University of California
-
White Papers
Knots: An Efficient Single Stack Preemption Mechanism for Resource Constrained Devices
October 22, 2007, 12:00am PDT
The low-end embedded systems space is characterized by two classes of operating systems: Run-To-Completion (RTC) systems such as Tenos and preemptive multithreading systems such as Mantis. In RTC...
Provided by University of California
-
White Papers
A Unified CAD-PLM Architecture for Improving Electronics Design Productivity Through Automation, Collaboration, and Cloud Computing
January 31, 2011, 12:00am PST
In electronics design, Computer Aided Design (CAD) tools manage part data in a logical schematic view (a part symbol) and a physical PCB view (a part footprint). Yet, a part has a third view,...
Provided by University of California
-
White Papers
Quality Tradeoffs in Object Tracking With Duty-Cycled Sensor Networks
September 2, 2010, 12:00am PDT
Extending the lifetime of wireless sensor networks requires energy-conserving operations such as duty-cycling. However, such operations may impact the effectiveness of high-fidelity real-time...
Provided by University of California
-
White Papers
A Case for Opportunistic Embedded Sensing in Presence of Hardware Power Variability
September 3, 2010, 12:00am PDT
The system lifetime gains provided by the various power management techniques in embedded sensing systems are a strong function of the active and sleep mode power consumption of the underlying...
Provided by University of California
-
White Papers
Variability-Aware Duty Cycle Scheduling in Long Running Embedded Sensing Systems
December 12, 2010, 12:00am PST
Instance and temperature-dependent leakage power variability is already a significant issue in contemporary embedded processors, and one which is expected to increase in importance with scaling of...
Provided by University of California
-
White Papers
Angle-of-Arrival-Assisted Relative Interferometric Localization Using Software Defined Radios
August 29, 2009, 12:00am PDT
In this work, the authors present SDR-ARI a Software Defined Radio (SDR) approach to an Angle-of-arrival-assisted Relative Interferometric (ARI) RADAR transceiver. It has a number of desirable...
Provided by University of California
-
White Papers
MobiSense - Mobile Network Services for Coordinated Participatory Sensing
January 11, 2009, 12:00am PST
Cellular and Wi-Fi networks now form a global substrate that provides billions of mobile phone users with consistent, location-aware communication and multimedia data access. On this substrate is...
Provided by University of California
-
White Papers
Tiered Architecture for On-Line Detection, Isolation and Repair of Faults in Wireless Sensor Networks
June 29, 2008, 12:00am PDT
Wireless sensor networks fuse data from a multiplicity of sensors of different modalities and spatiotemporal scales to provide information for reconnaissance, surveillance, and situational...
Provided by University of California
-
White Papers
Diagnostic Quality Driven Physiological Data Collection for Personal Healthcare
June 27, 2008, 12:00am PDT
The authors believe that each individual is unique, and that it is necessary for diagnosis purpose to have a distinctive combination of signals and data features that fits the personal health...
Provided by University of California
-
White Papers
ViRe: Virtual Reconfiguration Framework for Embedded Processing in Distributed Image Sensors
February 14, 2008, 12:00am PST
Image processing applications introduce new challenges to the design of sensor network systems via non-trivial in-network computation. As embedded processing becomes more complex, in-situ...
Provided by University of California
-
White Papers
Cognitive Radio Enabled Multi-Channel Access for Vehicular Communications
May 8, 2010, 12:00am PDT
The IEEE 1609.4 standard has been proposed to provide multi-channel operations in Wireless Access for Vehicular Environments (WAVE), where all the channels are periodically synchronized into...
Provided by University of California
-
White Papers
Smoothing Vehicular Traffic Flow With VGrid
July 31, 2009, 12:00am PDT
In this paper the authors explore a distributed application used to smooth traffic and reduce long term traffic incidents. To do this they use VGrid: An ad hoc networking and computing grid formed...
Provided by University of California
-
White Papers
Assessing the VANET's Local Information Storage Capability Under Different Traffic Mobility
July 2, 2010, 12:00am PDT
Wireless networking enabled vehicles can form Vehicular Ad hoc Mesh Networks (VMesh). By cooperative communication among VMeshes, a local transient information could be "Retained" within a given...
Provided by University of California
-
White Papers
Optimization of SiGe VCOs for Wireless Applications
January 1, 2011, 12:00am PST
This paper describes the optimization of phase noise performance in fully integrated SiGe HBT differential LC-tuned Voltage Controlled Oscillators (VCOs) for wireless applications. An accurate...
Provided by University of California
-
Whitepapers
MeasuRouting: A Framework for Routing Assisted Traffic Monitoring
December 18, 2008, 12:00am PST
Monitoring transit traffic at one or more points in a network is of interest to network operators for reasons of traffic accounting, debugging or troubleshooting, forensics, and traffic...
Provided by University of California
-
White Papers
Protecting a Moving Target: Addressing Web Application Concept Drift
June 11, 2010, 12:00am PDT
Because of the ad hoc nature of web applications, intrusion detection systems that leverage machine learning techniques are particularly well-suited for protecting websites. The reason is that...
Provided by University of California
-
White Papers
There Is No Free Phish: An Analysis of Free and Live Phishing Kits
July 14, 2008, 12:00am PDT
Phishing is a form of identity theft in which an attacker attempts to elicit confidential information from unsuspecting victims. While in the past there has been significant work on defending from...
Provided by University of California
-
White Papers
Toward Automated Detection of Logic Vulnerabilities in Web Applications
November 30, 2010, 12:00am PST
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, there has also...
Provided by University of California
-
White Papers
Identifying Dormant Functionality in Malware Programs
March 5, 2010, 12:00am PST
To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malware analysis typically...
Provided by University of California
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!
