Sciweavers

659 search results - page 47 / 132
» Binding as sets of scopes
Sort
View
ESORICS
2009
Springer
16 years 6 months ago
WORM-SEAL: Trustworthy Data Retention and Verification for Regulatory Compliance
Abstract. As the number and scope of government regulations and rules mandating trustworthy retention of data keep growing, businesses today are facing a higher degree of regulatio...
Tiancheng Li, Xiaonan Ma, Ninghui Li
ICFP
2003
ACM
16 years 6 months ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz
SCOPES
2007
Springer
16 years 6 days ago
Operating system integrated energy aware scratchpad allocation strategies for multiprocess applications
Various scratchpad allocation strategies have been developed in the past. Most of them target the reduction of energy consumption. These approaches share the necessity of having d...
Robert Pyka, Christoph Faßbach, Manish Verma...
SAC
2000
ACM
15 years 10 months ago
Supporting Compositional Reuse in Component-Based Web Engineering
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...
Martin Gaedke, Jörn Rehse
DW
2008
135views GIS» more  DW 2008»
15 years 7 months ago
Harmonizing company-wide Information Objects
: In today's companies, particularly multi-national enterprises acting on a global scale, historically grown systems and application landscapes, as well as processes, lead to ...
Alexander Schmidt, Boris Otto