Sciweavers

7099 search results - page 1284 / 1420
» Context for models of concurrency
Sort
View
ENTCS
2006
173views more  ENTCS 2006»
15 years 6 months ago
Formal Security Analysis for Ad-Hoc Networks
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
Sebastian Nanz, Chris Hankin
CANDC
2007
ACM
15 years 6 months ago
Dynamical characteristics of bacteria clustering by self-generated attractants
Motivated by the recent work on Escherichia coli bacteria clustering [Park, S., Wolanin, P.M., Yuzbashyan, E.A., Lin, H., Darnton, N.C., Stock, J.B., Silberzan, P., Austin, R., 20...
MunJu Kim, Songjoon Baek, Sung Hoon Jung, Kwang-Hy...
IANDC
2006
97views more  IANDC 2006»
15 years 6 months ago
Pure bigraphs: Structure and dynamics
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
Robin Milner
IEICET
2006
68views more  IEICET 2006»
15 years 6 months ago
A Reliable and Robust Lane Detection System Based on the Parallel Use of Three Algorithms for Driving Safety Assistance
Road traffic incidents analysis has shown that a third of them occurs without any conflict which indicates problems with road following. In this paper a driving safety assistance ...
Raphaël Labayrade, Jerome Douret, Jean Laneur...
ISEM
2008
129views more  ISEM 2008»
15 years 6 months ago
User requirements of mobile technology: results from a content analysis of user reviews
Advanced mobile technology continues to shape professional environments. Smart cell phones, pocket computers and laptop computers reduce the need of users to remain close to a wir...
Judith Gebauer, Ya Tang, Chaiwat Baimai
« Prev « First page 1284 / 1420 Last » Next »