1453 search results - page 184 / 291 » State and history in operating systems |
150
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
179
click to vote
CONCUR
2009
Springer
16 years 28 days ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
143
click to vote
ACSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
When will we be secure? Nobody knows for sure – but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customersâ...
168
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
We view match as an operator that takes two graph-like structures (e.g., XML schemas) and produces a mapping between the nodes of these graphs that correspond semantically to each ...
168
click to vote
ESWS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We think of Match as an operator which takes two graph-like structures and produces a mapping between those nodes of the two graphs that correspond semantically to each o...