3733 search results - page 13 / 747 » Logics of communication and change |
FMSD
2002
13 years 9 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...
IADIS
2004
13 years 11 months ago
2004
Nowadays, wearable devices, such as mobile phones, PDAs, etc. gain widespread popularity for communication and data exchange. Consequently, several approaches investigate the prob...
ICCCN
2007
IEEE
14 years 4 months ago
2007
IEEE
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE