Sciweavers

1610 search results - page 26 / 322
» A Transaction Model for Mobile Computing
Sort
View
SAC
2006
ACM
14 years 2 months ago
KALA: Kernel Aspect language for advanced transactions
Transaction management is a known crosscutting concern. Previous research has been conducted to express this concern as an aspect. However, such work has used general-purpose aspe...
Johan Fabry, Theo D'Hondt
IPPS
2010
IEEE
13 years 6 months ago
Runtime checking of serializability in software transactional memory
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
Arnab Sinha, Sharad Malik
ICWE
2004
Springer
14 years 2 months ago
Using Web Services to Build Context-Aware Applications in Ubiquitous Computing
Ubiquitous and mobile web applications are typically very autonomous in nature, because they rely on additional information about the user’s context. In this paper we present a g...
Gerhard Austaller, Jussi Kangasharju, Max Müh...
ISCIS
2004
Springer
14 years 2 months ago
Modelling Mobility with PEPA Nets
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
Jane Hillston, Marina Ribaudo
CSREAEEE
2006
120views Business» more  CSREAEEE 2006»
13 years 10 months ago
Object Caching Model for Cell Phone Mobile Database
- Inherent limitations of mobile computing environment such as limited bandwidth, limited resourced mobile phones, and instability of wireless environment require summarized mobile...
Khubaib Ahmed Qureshi