440 search results - page 35 / 88 » A Temporal Calculus of Communicating Systems |
ICCS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
ICC
2007
IEEE
13 years 7 months ago
2007
IEEE
Abstract— A clear deficiency in most of todays Anomaly Intrusion Detection Systems (AIDS) is their inability to distinguish between a new form of legitimate normal behavior and ...
SPIN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we examine the dissemination of reports about resources in mobile peer-to-peer networks, where moving objects communicate with each other via short-range wireless tr...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— In cellular mobile communication systems, the link performance can be remarkably improved by deploying relays between the base station and the mobile station. In this paper we ...