In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
Fernando Rosa Velardo, David de Frutos-Escrig, Olg...
: In this paper, mobility analysis of various planar mobile robots are performed. Two different approaches are employed for that purpose. In the first approach, joint screws are em...
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
Among other strategic action points, the Ambient Assisted Living Joint Programme framework has defined telemedicine and remote monitoring as major applications for improved qualit...
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...