- Subscribe to this page:
- RSS
- Email Alert
Creative Commons
(23 results)-
White Papers
A Project Management Primer or "A Guide on How to Make Projects Work"
November 27, 2005, 12:00am PST
You don't have to be a genius to deliver a project on time, nor do you have to be steeped in a mystical project management methodology to be a project manager. This straightforward guide covers...
Provided by Creative Commons
-
White Papers
Best Practices for Endpoint Data Loss Prevention
August 2, 2008, 12:00am PDT
The modern enterprise faces information protection challenges it never could have imagined in the days when mainframes were dominant. The average laptop can carry up to a half-terabyte of storage,...
Provided by Creative Commons
-
White Papers
Equality Saturation: A New Approach to Optimization
November 7, 2010, 12:00am PDT
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed to the next...
Provided by Creative Commons
-
White Papers
A Type System for Call-by-Name Exceptions
November 2, 2009, 12:00am PST
The authors present an extension of System F with call-by-name exceptions. The type system is enriched with two syntactic constructs: a union type for programs whose execution may raise an...
Provided by Creative Commons
-
White Papers
Automatic Modular Abstractions for Template Numerical Constraints
May 31, 2010, 12:00am PDT
The authors propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operating on...
Provided by Creative Commons
-
White Papers
Choreographies With Secure Boxes and Compromised Principals
November 29, 2009, 12:00am PST
The authors equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "Boxes" annotated with...
Provided by Creative Commons
-
White Papers
Open Issues in P2P Multimedia Streaming
June 16, 2006, 12:00am PDT
Peer-To-Peer networks (P2P) consist of a set of logically connected end-clients called peers, which form an application-level overlay network on top of the physical network. P2P solution...
Provided by Creative Commons
-
White Papers
Methods and Methodologies for Developing Answer-Set Programs-project Description
June 24, 2010, 12:00am PDT
Answer-Set Programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of the main...
Provided by Creative Commons
-
White Papers
A Novel Algorithm for Distributed Dynamic Interference Coordination in Cellular Networks
February 23, 2011, 12:00am PST
The authors efficiently solved the problem of InterFerence Co-Ordination (IFCO) by separating the initial global optimization problem into two separate problems, namely the inner and the outer...
Provided by Creative Commons
-
White Papers
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees
December 20, 2011, 12:00am PST
The authors present the topos S of trees as a model of guarded recursion. They study the internal dependently-typed higher-order logic of S and show that S models two modal operators, on...
Provided by Creative Commons
-
White Papers
Step-Indexed Relational Reasoning for Countable Nondeterminism
June 2, 2011, 12:00am PDT
Programming languages with countable non-deterministic choice are computationally interesting since countable non-determinism arises when modeling fairness for concurrent systems. Because...
Provided by Creative Commons
-
White Papers
Channels as Objects in Concurrent Object-Oriented Programming
May 27, 2011, 12:00am PDT
There is often a sort of a protocol associated to each class, stating when and how certain methods should be called. Given that this protocol is, if at all, described in the documentation...
Provided by Creative Commons
-
White Papers
A Mobility Model for the Realistic Simulation of Social Context
February 23, 2011, 12:00am PST
In recent years, powerful mobile devices with short-range wireless network interfaces have become widely used that leverage the idea of mobile ad-hoc networks. Connectivity between mobile nodes is...
Provided by Creative Commons
-
White Papers
Relating Two Semantics of Locally Scoped Names
June 7, 2011, 12:00am PDT
The operational semantics of programming constructs involving locally scoped names typically makes use of stateful dynamic allocation: a set of currently-used names forms part of the state and...
Provided by Creative Commons
-
White Papers
An Entry Point for Formal Methods: Specification and Analysis of Event Logs
January 28, 2010, 12:00am PST
Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification promises to use formal specifications to...
Provided by Creative Commons
-
White Papers
DBMSs Should Talk Back Too
January 7, 2009, 12:00am PST
Natural language user interfaces to database systems have been studied for several decades now. They have mainly focused on parsing and interpreting natural language queries to generate them in a...
Provided by Creative Commons
-
White Papers
Declarative Processing of Semistructured Web Data
April 21, 2011, 12:00am PDT
In order to give application programs access to data stored in the web in semi-structured formats, in particular, in XML format, the authors propose a Domain-Specific Language (DSL) for...
Provided by Creative Commons
-
White Papers
Attacker Control and Impact for Confidentiality and Integrity
July 22, 2011, 12:00am PDT
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Security-typed...
Provided by Creative Commons
-
White Papers
Explicit Substitutions for Contextual Type Theory
April 7, 2010, 12:00am PDT
In this paper, the authors present an explicit substitution calculus which distinguishes between ordinary bound variables and meta-variables. Its typing discipline is derived from contextual modal...
Provided by Creative Commons
-
White Papers
Parametric Compositional Data Types
February 11, 2012, 12:00am PST
In previous work, the authors have illustrated the benefits that Compositional Data Types (CDTs) offer for implementing languages and in general for dealing with Abstract Syntax Trees (ASTs)....
Provided by Creative Commons
-
White Papers
Agent Based Approaches to Engineering Autonomous Space Software
March 2, 2010, 12:00am PST
Current approaches to the engineering of space software such as satellite control systems are based around the development of feedback controllers using packages such as MatLab's Simulink toolbox....
Provided by Creative Commons
-
White Papers
Multi-Level Contextual Type Theory
October 4, 2011, 12:00am PDT
Contextual type theory distinguishes between bound variables and meta-variables to write potentially incomplete terms in the presence of binders. It has found good use as a framework for concise...
Provided by Creative Commons
-
Software
CcPublisher 2.2.1 (Windows)
October 30, 2007, 12:00am PDT
ccPublisher is an utility that does two things: it will help you tag your audio and video files with information about your license and it allows you to upload Creative Commons-licensed audio and...
Provided by Creative Commons
-
White Papers
Multi-Level Contextual Type Theory
October 4, 2011, 12:00am PDT
Contextual type theory distinguishes between bound variables and meta-variables to write potentially incomplete terms in the presence of binders. It has found good use as a framework for concise...
Provided by Creative Commons
-
White Papers
Agent Based Approaches to Engineering Autonomous Space Software
March 2, 2010, 12:00am PST
Current approaches to the engineering of space software such as satellite control systems are based around the development of feedback controllers using packages such as MatLab's Simulink toolbox....
Provided by Creative Commons
-
White Papers
Parametric Compositional Data Types
February 11, 2012, 12:00am PST
In previous work, the authors have illustrated the benefits that Compositional Data Types (CDTs) offer for implementing languages and in general for dealing with Abstract Syntax Trees (ASTs)....
Provided by Creative Commons
-
White Papers
Explicit Substitutions for Contextual Type Theory
April 7, 2010, 12:00am PDT
In this paper, the authors present an explicit substitution calculus which distinguishes between ordinary bound variables and meta-variables. Its typing discipline is derived from contextual modal...
Provided by Creative Commons
-
White Papers
Attacker Control and Impact for Confidentiality and Integrity
July 22, 2011, 12:00am PDT
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Security-typed...
Provided by Creative Commons
-
White Papers
Declarative Processing of Semistructured Web Data
April 21, 2011, 12:00am PDT
In order to give application programs access to data stored in the web in semi-structured formats, in particular, in XML format, the authors propose a Domain-Specific Language (DSL) for...
Provided by Creative Commons
-
White Papers
DBMSs Should Talk Back Too
January 7, 2009, 12:00am PST
Natural language user interfaces to database systems have been studied for several decades now. They have mainly focused on parsing and interpreting natural language queries to generate them in a...
Provided by Creative Commons
-
White Papers
An Entry Point for Formal Methods: Specification and Analysis of Event Logs
January 28, 2010, 12:00am PST
Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification promises to use formal specifications to...
Provided by Creative Commons
-
White Papers
Relating Two Semantics of Locally Scoped Names
June 7, 2011, 12:00am PDT
The operational semantics of programming constructs involving locally scoped names typically makes use of stateful dynamic allocation: a set of currently-used names forms part of the state and...
Provided by Creative Commons
-
White Papers
A Mobility Model for the Realistic Simulation of Social Context
February 23, 2011, 12:00am PST
In recent years, powerful mobile devices with short-range wireless network interfaces have become widely used that leverage the idea of mobile ad-hoc networks. Connectivity between mobile nodes is...
Provided by Creative Commons
-
White Papers
Channels as Objects in Concurrent Object-Oriented Programming
May 27, 2011, 12:00am PDT
There is often a sort of a protocol associated to each class, stating when and how certain methods should be called. Given that this protocol is, if at all, described in the documentation...
Provided by Creative Commons
-
White Papers
Step-Indexed Relational Reasoning for Countable Nondeterminism
June 2, 2011, 12:00am PDT
Programming languages with countable non-deterministic choice are computationally interesting since countable non-determinism arises when modeling fairness for concurrent systems. Because...
Provided by Creative Commons
-
White Papers
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees
December 20, 2011, 12:00am PST
The authors present the topos S of trees as a model of guarded recursion. They study the internal dependently-typed higher-order logic of S and show that S models two modal operators, on...
Provided by Creative Commons
-
White Papers
A Novel Algorithm for Distributed Dynamic Interference Coordination in Cellular Networks
February 23, 2011, 12:00am PST
The authors efficiently solved the problem of InterFerence Co-Ordination (IFCO) by separating the initial global optimization problem into two separate problems, namely the inner and the outer...
Provided by Creative Commons
-
White Papers
Methods and Methodologies for Developing Answer-Set Programs-project Description
June 24, 2010, 12:00am PDT
Answer-Set Programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of the main...
Provided by Creative Commons
-
White Papers
Open Issues in P2P Multimedia Streaming
June 16, 2006, 12:00am PDT
Peer-To-Peer networks (P2P) consist of a set of logically connected end-clients called peers, which form an application-level overlay network on top of the physical network. P2P solution...
Provided by Creative Commons
-
Software
CcPublisher 2.2.1 (Windows)
October 30, 2007, 12:00am PDT
ccPublisher is an utility that does two things: it will help you tag your audio and video files with information about your license and it allows you to upload Creative Commons-licensed audio and...
Provided by Creative Commons
-
White Papers
Choreographies With Secure Boxes and Compromised Principals
November 29, 2009, 12:00am PST
The authors equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "Boxes" annotated with...
Provided by Creative Commons
-
White Papers
Automatic Modular Abstractions for Template Numerical Constraints
May 31, 2010, 12:00am PDT
The authors propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operating on...
Provided by Creative Commons
-
White Papers
A Type System for Call-by-Name Exceptions
November 2, 2009, 12:00am PST
The authors present an extension of System F with call-by-name exceptions. The type system is enriched with two syntactic constructs: a union type for programs whose execution may raise an...
Provided by Creative Commons
-
White Papers
Equality Saturation: A New Approach to Optimization
November 7, 2010, 12:00am PDT
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed to the next...
Provided by Creative Commons
-
White Papers
Best Practices for Endpoint Data Loss Prevention
August 2, 2008, 12:00am PDT
The modern enterprise faces information protection challenges it never could have imagined in the days when mainframes were dominant. The average laptop can carry up to a half-terabyte of storage,...
Provided by Creative Commons
-
White Papers
A Project Management Primer or "A Guide on How to Make Projects Work"
November 27, 2005, 12:00am PST
You don't have to be a genius to deliver a project on time, nor do you have to be steeped in a mystical project management methodology to be a project manager. This straightforward guide covers...
Provided by Creative Commons
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!
