440 search results - page 38 / 88 » A Temporal Calculus of Communicating Systems |
ENTCS
2008
13 years 7 months ago
2008
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...
ICDE
2002
IEEE
14 years 8 months ago
2002
IEEE
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...
ECAI
2004
Springer
14 years 23 days ago
2004
Springer
Technological advancements have and will revolutionise the support offered to persons in their home environment. As the population continues to grow and in addition the percentage ...
AIRWEB
2007
Springer
14 years 1 months ago
2007
Springer
This paper focuses on spam blog (splog) detection. Blogs are highly popular, new media social communication mechanisms. The presence of splogs degrades blog search results as well...
DBISP2P
2004
Springer
14 years 23 days ago
2004
Springer
In this paper we examine the dissemination of reports about resources in mobile networks with hotspots, where hotspots, vehicles and sensors communicate with each other via short-r...