2513 search results - page 345 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
WETICE
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes the implementation of a thin user-level layer to be installed on Grid resources. The layer fits in the Minimum intrusion Grid design by imposing as few requi...
106
click to vote
ICWE
2005
Springer
15 years 6 months ago
2005
Springer
We present the design of a new web application framework for collaborative learning. The framework guides users (i.e. teachers) in implementing online activities based on well-know...
87
Voted
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
Dependence-aware transactional memory (DATM) is a recently proposed model for increasing concurrency of memory transactions without complicating their interface. DATM manages depe...
103
click to vote
CGO
2003
IEEE
15 years 6 months ago
2003
IEEE
Many processor architectures provide a set of addressing modes in their address generation units. For example DSPs (digital signal processors) have powerful addressing modes for e...
125
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...