Sciweavers

8627 search results - page 1434 / 1726
» Software Engineering Using RATionale
Sort
View
MUM
2005
ACM
138views Multimedia» more  MUM 2005»
16 years 8 days ago
Group-based content push with dynamic session startup
This paper proposes an intelligent mobile middleware utilizing group-based content push with dynamic session startup and plugand-play features. Solution enhances the distribution ...
Otso Kassinen, Timo Koskela, Erkki Harjula, Jussi ...
PPOPP
2005
ACM
16 years 8 days ago
Static analysis of atomicity for programs with non-blocking synchronization
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
Liqiang Wang, Scott D. Stoller
SAC
2005
ACM
16 years 8 days ago
A generic serializer for mobile devices
In this paper we describe a serializer component completely realized in .NET managed code, able to run on a stripped versions of the .NET platform (e.g., Compact Framework) and st...
Mattia Monga, Angelo Scotto
179
Voted
SAC
2005
ACM
16 years 8 days ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
CBSE
2005
Springer
16 years 8 days ago
Unlocking the Grid
The grid has emerged as a novel paradigm that supports seamless cooperation of distributed, heterogeneous computing resources in addressing highly complex computing and data manage...
Chris Mattmann, Nenad Medvidovic, Paul M. Ramirez,...
« Prev « First page 1434 / 1726 Last » Next »