13383 search results - page 2274 / 2677 » Abstractions from proofs |
157
click to vote
ICSOC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The modularity of Service-oriented Architectures (SOA) allows to establish complex distributed systems comprising e.g., services, clients, brokers, and workflow engines. ...
162
click to vote
ICTAI
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The difficulties encountered in sequential decisionmaking problems under uncertainty are often linked to the large size of the state space. Exploiting the structure of th...
184
click to vote
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--We explore the idea of applying machine learning techniques to automatically infer risk-adaptive policies to reconfigure a network security architecture when the context ...
159
click to vote
IH
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Statistical disclosure is a well-studied technique that an attacker can use to uncover relations between users in mix-based anonymity systems. Prior work has focused on f...
170
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Fiber-optic networks are vulnerable to natural disasters, such as tornadoes or earthquakes, as well as to physical failures, such as an anchor cutting underwater fiber ca...