Previous
Boxwood: Abstractions As The Foundation For Storage Infrastructure
White Papers Writers of complex storage applications such as distributed file systems and databases are faced with the challenges of building complex abstractions over simple storage devices like disks. This paper explores the premise that high-level, fault...
[May 8, 2007, 1:00]
Scalable Programming Abstractions For XML Services
White Papers Programs that use these abstractions can deliver XML services in a scalable and manageable way. Traditional programming paradigms and styles do not lend themselves easily to XML services. This has led to engineered systems that are characterized by...
[June 23, 2007, 1:00]
Abstractions Screensaver
Downloads You will definitely enjoy watching this awesome collection of abstract images. Everyone finds something he needs in these sophisticated and incomprehensible images. And do not think that the interweaving is random here; most of it is exact...
[September 21, 2007, 2:31]
The Existence Of Finite Abstractions For Branching Time Model Checking
White Papers Abstraction is often essential to verify a program with model checking. Typically, a concrete source program with an infinite (or finite, but large) state space is reduced to a small, finite state, abstract program on which a correctness property...
[April 7, 2005, 0:00]
Acute And TCP: Specifying And Developing Abstractions For Global Computation
White Papers This paper describes ongoing work to establish semantic foundations for real-world distributed computation. This paper is designing and implementing Acute, an expressive and safe programming language (based on an OCaml core) with features for...
[January 15, 2008, 0:54]
MapJAX: Data Structure Abstractions For Asynchronous Web Applications
White Papers MapJAX provides the abstraction of data structures shared between the browser and the server, based on the familiar primitives of objects, locks, and threads. MapJAX also provides additional features (parallel for loops and prefetching) that help...
[June 23, 2007, 1:00]
Symmetric Authentication Within A Simulatable Cryptographic Library
White Papers Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs are independent of cryptographic details. An extension to the Dolev-Yao model was introduced for which such a...
[August 31, 2007, 1:00]
MEMS-Based Storage Devices And Standard Disk Interfaces: A Square Peg In A Round Hole?
White Papers The differences motivate the question of whether they need new abstractions to be utilized by systems, or if existing abstractions will be sufficient. With one noted exception, nowadays storage interfaces and abstractions are as suitable for...
[August 25, 2007, 1:00]
Conceptual Modeling Of Web Service Conversations
White Papers This paper identifies a framework for defining extended service models to enable the definition of richer Web service abstractions. It also identifies and defines specific abstractions based on an analysis of existing e-commerce Web portals.
[October 24, 2003, 5:57]
Lowering The Barrier To Wireless And Mobile Experimentation
White Papers The flexibility of Netbed's common abstractions for diverse node and link types has enabled its development from strictly an emulation platform to one that integrates simulation and lives network experimentation.
[July 20, 2007, 1:00]
Revocable Locks For Non-Blocking Programming
White Papers This paper presents a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key idea is to expose revocation by displacing the previous lock holder's...
[May 8, 2007, 1:00]
Software Development With Objects, Agents, And Services
White Papers Each is based and a set of abstractions and each has several advantages and disadvantages. Software system developers have a number of methodologies available to them. This paper surveys the available methodologies and evaluates them with regard to...
[June 23, 2007, 1:00]
VMware ESX Server 2 Administration Guide
White Papers The design of the ESX Server core architecture implements the abstractions that allow hardware resources to be allocated to multiple workloads in fully isolated environments. VMware ESX Server incorporates a resource manager and a service console...
[May 27, 2004, 1:03]
Implementing BPEL4WS: The Architecture Of A BPEL4WS Implementation
White Papers Service oriented architectures introduce a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see for example.
[March 15, 2007, 0:00]
Pervasive Computing And Bluetooth
White Papers The paper is based on somewhat practical views rather than on abstractions. This paper discusses possibilities of Bluetooth technology in pervasive computing environments. A model that utilises Jini and Bluetooth is proposed.
[June 19, 2004, 20:00]
Web Services And Seamless Interoperability
White Papers Ideally, application developers and integrators should be shielded from the existence of different middleware platforms and programming language abstractions. Web Services technologies are often proposed as a means to integrate applications that...
[July 6, 2007, 1:00]
Vendidi Framework
Downloads It's a solution to the requirements of enterprise applications, with a library of ready to use classes, that represent abstractions of objects found in most problem domains, and an infrastructure of basic functionalities, like remoting and O/R...
[September 1, 2006, 1:46]
Engineering The Presentation Layer For Semantic Web Information Systems
White Papers The application model extends the conceptual model with presentation abstractions that capture the hypermedia application logic. This paper presents a design methodology that deals with the hypermedia presentation aspects involved in the...
[July 21, 2008, 1:18]
Trust-Serv: Model-Driven Lifecycle Management Of Trust Negotiation Policies For Web Services
White Papers The framework employs a model for trust negotiation that is based on state machines, extended with security abstractions. A scalable approach to trust negotiation is required in Web service environments that have large and dynamic requester...
[October 7, 2004, 3:00]
A Mobile Service Platform Using Proxy Technology
White Papers It allows mobile devices to access internet services, corporate databases and to control various network devices.iMobile implements three key abstractions: dev-let, info-let and app-let. This paper proposes iMobile, a proxy-based platform for...
[May 10, 2006, 1:00]
