598 search results - page 61 / 120 » Generic Trace Theory |
109
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Tracking mobile targets using sensor networks is a challenging task because of the impacts of in-the-filed factors such as environment noise, sensing irregularity and etc. This...
135
click to vote
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
The Grid promise is starting to materialize today: largescale multi-site infrastructures have grown to assist the work of scientists from all around the world. This tremendous gro...
118
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Because a delay tolerant network (DTN) can often be partitioned, routing is a challenge. However, routing benefits considerably if one can take advantage of knowledge concerni...
116
click to vote
WETICE
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a novel near real-time method for early detection of worm outbreaks in high-speed Internet backbones. Our method attributes several behavioural properties to individual...
148
click to vote
IFM
2005
Springer
15 years 9 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...