28 search results - page 5 / 6 » Linearizability with Ownership Transfer |
OOPSLA
1992
Springer
13 years 9 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
HICSS
2007
IEEE
14 years 3 days ago
2007
IEEE
While exploring value webs -cooperating enterprises- it is common to view such webs from multiple perspectives: (1) the business value perspective, (2) the business process perspe...
ECOOP
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
EUC
2006
Springer
13 years 9 months ago
2006
Springer
RFID(Radio Frequency Identification) is recently becoming popular, promising and widespread. In contrast, RFID tags can bring about traceability that causes user privacy and reduce...
IPSN
2007
Springer
13 years 12 months ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...