Sciweavers

370 search results - page 8 / 74
» Run-Time Support for Distributed Sharing in Typed Languages
Sort
View
WWW
2001
ACM
14 years 8 months ago
A License Management Model to Support B2C and C2C Music Sharing
Digital Rights Management (DRM) technology ensures protection of rights on distributed music over the Internet. Existing DRM systems emphasize the protection on Businessto-Consume...
Sai Ho Kwok, Siu Man Lui
IEEEIAS
2008
IEEE
14 years 1 months ago
Developing a Security Typed Java Servlet
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
Doaa Hassan, Sherif El-Kassas, Ibrahim Ziedan
ICEBE
2005
IEEE
135views Business» more  ICEBE 2005»
14 years 1 months ago
GridPML: A Process Modeling Language and History Capture System for Grid Service Composition
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
Hua Ma, Susan Darling Urban, Yang Xiao, Suzanne W....
DSL
1997
13 years 8 months ago
Experience with a Language for Writing Coherence Protocols
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...
Satish Chandra, James R. Larus, Michael Dahlin, Br...
PLDI
2005
ACM
14 years 1 months ago
Permission-based ownership: encapsulating state in higher-order typed languages
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
Neelakantan R. Krishnaswami, Jonathan Aldrich