249 search results - page 26 / 50 » Modelling a Secure, Mobile, and Transactional System with CO... |
ENTCS
2007
13 years 7 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...
ENTCS
2006
13 years 7 months ago
2006
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
DBSEC
2000
13 years 9 months ago
2000
There are many technologies for distributed processing/interoperation, including CORBA, DCE, DCOM, Enterprise Java Beans, Java IDL, JDBC, etc. Most promising, is the emergence of ...
MOBISYS
2008
ACM
14 years 7 months ago
2008
ACM
Personal mobile devices are increasingly equipped with the capability to sense the physical world (through cameras, microphones, and accelerometers, for example) and the network w...
AGENTS
2001
Springer
14 years 7 days ago
2001
Springer
Rodents possess extraordinary navigation abilities that are far in excess of what current state-of-the-art robot agents are capable of. This paper describes research that is part ...