Sciweavers

1388 search results - page 121 / 278
» Software Architecture for Mobile Distributed Computing
Sort
View
MBEES
2010
15 years 4 months ago
Towards Architectural Programming of Embedded Systems
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
129
Voted
MOBIHOC
2010
ACM
15 years 1 months ago
Globs in the primordial soup: the emergence of connected crowds in mobile wireless networks
In many practical scenarios, nodes gathering at points of interest yield sizable connected components (clusters), which sometimes comprise the majority of nodes. While recent anal...
Simon Heimlicher, Kavé Salamatian
HPCC
2005
Springer
15 years 9 months ago
A Lightweight Platform for Integration of Mobile Devices into Pervasive Grids
For future generation Grids to be truly pervasive we need to allow for the integration of mobile devices, in order to leverage available resources and broaden the range of supplie...
Stavros Isaiadis, Vladimir Getov
TGC
2010
Springer
15 years 1 months ago
CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility
Car sharing and car pooling have proven to be an effective solution to reduce the amount of running vehicles by increasing the number of passengers per car amongst medium/big commu...
Vincenzo Dezani-Ciancaglini, Luigi Liquori, Lauren...
99
Voted
ENTCS
2002
89views more  ENTCS 2002»
15 years 3 months ago
ZEUS: A Distributed Timed Model-Checker Based on KRONOS
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
Víctor A. Braberman, Alfredo Olivero, Ferna...