348 search results - page 43 / 70 » A Recovery Mechanism for Shells |
112
Voted
MSS
1999
IEEE
15 years 4 months ago
1999
IEEE
Device Locks are mechanisms used in distributed environments to facilitate mutual exclusion of shared resources. They can further be used to maintain coherence of data that is cac...
102
click to vote
VCHCI
1993
15 years 4 months ago
1993
The interaction history of a document can be modelled as a tree of command objects. This model does not only support recovery (undo/redo), but is also suitable for cooperation betw...
115
click to vote
ASPDAC
2006
ACM
15 years 4 months ago
2006
ACM
- Technology scaling and sub-wavelength optical lithography is associated with significant process variations. We propose a self-adaptive variable supply-voltage scaling (SAVS) tec...
94
Voted
ASM
2008
ASM
15 years 2 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
BPM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper proposes a framework based on Service Oriented Architecture which integrates diagnostic services in the architecture of a composite service in order to improve...