4385 search results - page 139 / 877 » Abstraction for Concurrent Objects |
INTERNET
2010
14 years 9 months ago
2010
nstrate how the respective architectural abstractions support increasingly complex application. Gerd Kortuem and Fahim Kawsar Lancaster University Daniel Fitton University of Centr...
W2GIS
2004
Springer
15 years 4 months ago
2004
Springer
Mobile transactions for updating spatial data are long-lived transactions that update local copies of the mobile platforms on disconnection. Since a mobile transaction is physicall...
APN
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
DEXAW
1998
IEEE
15 years 3 months ago
1998
IEEE
Consistency criteria adopted for the transactional management of shared objects define the degree of allowable interleaving between concurrent transactions. This paper presents an...
FOSSACS
2005
Springer
15 years 4 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...