2757 search results - page 171 / 552 » On separating systems |
120
click to vote
FM
2001
Springer
15 years 9 months ago
2001
Springer
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
138
click to vote
ECOOPW
1998
Springer
15 years 8 months ago
1998
Springer
: This paper describes the development of a model for the reflective treatment of both application and environmentally sourced exceptions. We show how a variety of exception models...
158
Voted
LICS
1990
IEEE
15 years 8 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
121
Voted
XPU
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...
138
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
The use of user specific virtual machines (VMs) in Grid and Cloud computing reduces the administration overhead associated with manually installing required software for every user...