2043 search results - page 272 / 409 » Reasoning About Security Models |
87
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
100
Voted
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
97
Voted
ECSA
2010
Springer
15 years 1 months ago
2010
Springer
Although primarily studied in the context of product lines, variability is a key fact about most systems and therefore a concern for the architectures of those systems. Thus it is...
SYNTHESE
2010
14 years 11 months ago
2010
I develop a strategy for representing epistemic states and epistemic changes that seeks to be sensitive to the difference between voluntary and involuntary aspects of our epistemi...
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...