11603 search results - page 352 / 2321 » Securing Embedded Systems |
144
Voted
LCTRTS
2005
Springer
16 years 28 days ago
2005
Springer
185
click to vote
SFM
2004
Springer
16 years 23 days ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
190
click to vote
EUROPKI
2007
Springer
16 years 1 months ago
2007
Springer
Even more than in our physical world, in our digital world we need systems that meet the security objective of service providers and users in equal measure. This paper investigates...