Sciweavers

2580 search results - page 66 / 516
» Systems for human-powered mobile computing
Sort
View
106
Voted
GG
2008
Springer
15 years 4 months ago
Workshop on Graph Computation Models
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...
Mohamed Mosbah, Annegret Habel
124
Voted
GC
2004
Springer
15 years 9 months ago
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi,...
97
Voted
MEMBRANE
2007
Springer
15 years 9 months ago
On the Reachability Problem in P Systems with Mobile Membranes
Bogdan Aman, Gabriel Ciobanu
109
Voted
FOSSACS
2003
Springer
15 years 8 months ago
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems
Matthew Hennessy, Massimo Merro, Julian Rathke