Sciweavers

1578 search results - page 215 / 316
» Self-healing systems - survey and synthesis
Sort
View
SP
2000
IEEE
13 years 11 months ago
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
John A. Clark, Jeremy L. Jacob
FSTTCS
2008
Springer
13 years 9 months ago
Explicit Muller Games are PTIME
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
Florian Horn
SIAMCO
2000
67views more  SIAMCO 2000»
13 years 8 months ago
On the Duality between Filtering and Nevanlinna--Pick Interpolation
Positive real rational functions play a central role in both deterministic and stochastic linear systems theory, as well as in circuit synthesis, spectral analysis, and speech proc...
Christopher I. Byrnes, Anders Lindquist
GROUP
2009
ACM
13 years 6 months ago
Supporting collaborative sensemaking in map-based emergency management and planning
Emergency management and planning often involves multiple domain experts with diverse knowledge backgrounds and responsibilities. Current practices in emergency management and pla...
Anna Wu, Xiaolong Zhang
HICSS
2007
IEEE
133views Biometrics» more  HICSS 2007»
14 years 2 months ago
Service-Oriented Software Reengineering: SoSR
Service-Oriented Computing (SOC) enables the development and design of loosely coupled software components for integration with other software system. Since most legacy system wer...
Sam Chung, Joseph Byung Chul An, Sergio Davalos