963 search results - page 37 / 193 » Types for Mobile Ambients |
ENTCS
2007
13 years 8 months ago
2007
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...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
: 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...
ENTCS
2008
13 years 8 months ago
2008
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
BIOSTEC
2011
12 years 8 months ago
2011
Among other strategic action points, the Ambient Assisted Living Joint Programme framework has defined telemedicine and remote monitoring as major applications for improved qualit...
CC
2003
Springer
14 years 1 months ago
2003
Springer
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...