9842 search results - page 389 / 1969 » Compositional timing analysis |
128
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
Assuring information authenticity is an important issue in the field of information security. A new broadcast authentication protocol is proposed. The protocol is based on time sy...
154
click to vote
IFM
2007
Springer
15 years 11 months ago
2007
Springer
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
152
click to vote
IV
2005
IEEE
15 years 10 months ago
2005
IEEE
The visual analysis of time dependent data is an essential task in many application fields. However, visualizing large time dependent data collected within a spatial context is st...
156
click to vote
WS
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we analyze attacks on existing time synchronization protocols for wireless sensor networks. We propose a secure time synchronization toolbox to counter these attack...
127
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
Under standard Lipschitz conditions, trajectories of systems described by ordinary differential equations are well defined in both forward and reverse time. (The flow map is inv...