491 search results - page 36 / 99 » Characterization of a metastability measurement system |
153
click to vote
ERSHOV
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
178
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
137
click to vote
IMC
2003
ACM
15 years 11 months ago
2003
ACM
In our quest to better understand network traffic dynamics, we examine Internet chat systems. Although chat as an application does not contribute huge amounts of traffic, chat sys...
176
click to vote
ESORICS
2006
Springer
15 years 9 months ago
2006
Springer
The immaturity of current intrusion detection techniques limits the traditional security systems in surviving malicious attacks. Intrusion tolerance approaches have emerged to over...
147
Voted
ISLPED
2009
ACM
16 years 18 days ago
2009
ACM
Enterprises rely on decision support systems to influence critical business choices. At the same time, IT-related power costs are growing and are a key concern for enterprise exe...