7274 search results - page 1192 / 1455 » Abstractions for network update |
197
click to vote
GAMESEC
2010
15 years 5 months ago
2010
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...
214
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
ended abstract looks forward at which shared concepts and approaches are shaping future research in the field of location privacy, as well as reflecting on the broader achievement...
174
click to vote
GLOBECOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--With the deployment of more and more resiliencecritical Internet applications, there is a rising demand for multihomed network sites. This leads to the desire for simulta...
214
click to vote
ICCAD
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
231
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...