programs
RSS programsProjects, Programs and Links - Oh My!
White Paper For many of the users, submitting programs was done via batch processing or an X-windows environment. It was easy to see where the programs needed to perform these tasks could be stored and then... [07 Nov 2007]
Model Checking Networked Programs in the Presence of Transmission Failures
White Paper Software model checkers work directly on single-process programs, but not on multiple processes. This paper contributes a fault model for model checking networked programs. Conversion of processes into... [27 Jun 2007]
Mostly-Functional Behavior in Java Programs
White Paper This paper presents a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which are writes to an object's state... [15 Jan 2009]
Ensuring Customer Loyalty: Designing Next-Generation Loyalty Programs
White Paper Loyalty programs are everywhere in business. Do loyalty programs really work, or are these companies just wasting their money? Can loyalty programs reduce the likelihood that customers... [28 Jul 2006]
CONEVAL Unifies Information and Improves Evaluation and Monitoring of Social Programs
White Paper It is responsible for measuring, evaluating, and monitoring the impact of all federal social assistance programs. Each year, it evaluates 170 federal programs with an average reach of 40 million people. [31 Aug 2009]
Precise Set Sharing and Nullity Analysis for Java-Style Programs
White Paper Finding useful sharing information between instances in object-oriented programs has been recently the focus of much research. This paper introduces a framework for deriving precise sharing information based on abstract... [03 Jan 2009]
A Roadmap for Success With Quality Programs
White Paper Research has proven that organizations that utilize such programs generally outperform those shops that do not. In corporate IT shops around the world today, executives are looking at performance more than ever. [14 May 2009]
Chess programs go head to head in world championship
News The prestigious competition features over 50 chess programs made by professional programmers and amateurs from all over the world. The rules state: "Only original programs are allowed and absolutely no... [18 Jan 2002]
Small Business Webcast: Microsoft Office Accounting 2007 Integration With Microsoft Office Programs (Level 100)
White Paper Microsoft Office Accounting 2007 offers tight integration with Microsoft Office programs, especially Microsoft Office Outlook 2007 with Business Contact Manager. This webcast shows how Office Accounting 2007, in... [23 Jan 2007]
DARWIN: An Approach for Debugging Evolving Programs
White Paper This paper proposes an automated approach for debugging evolving programs. Given two programs (a reference, stable program and a new, modified program) and an input that fails on the modified program,... [16 Sep 2009]
Slicing Concurrent Java Programs Using Indus and Kaveri
White Paper In particular, very little tool support exists for slicing programs written in modern object-oriented languages such as Java, C#, or C++. This paper presents Indus - a robust framework for analysis and slicing of... [15 Jan 2009]
The Acceptance of Object-Oriented Development Methodologies in Australian Organizations and the Place of UML in Information Systems Programs
White Paper As such it has gained a place in many information systems programs. This raises the question of the priority that should be accorded to the inclusion of UML in competition with other topics and issues in information... [03 Dec 2008]
Distributed, Multi-Threaded Verification of Java Programs
White Paper Verification in ESC is achieved by translating programs and their specifications into Verification Conditions (VCs). As can be imagined, proving VCs is computationally expensive: While small classes can be verified in... [15 Jan 2009]
Dryad: Distributed Data-Parallel Programs From Sequential Building Blocks
White Paper The vertices provided by the application developer are quite simple and are usually written as sequential programs with no thread creation or locking. Dryad is a general-purpose distributed execution engine for... [23 May 2007]
Microsoft Office Programs and SharePoint Products and Technologies Integration - Fair, Good, Better, Best
White Paper This paper describes how different versions of Office programs work together with the 2003 and 2007 versions of SharePoint technologies. Although an overview of the integration features of Office 2000 versus Office XP... [03 Apr 2008]
