5128 search results - page 864 / 1026 » When Abstraction Fails |
163
click to vote
LR
2011
14 years 9 months ago
2011
Abstract We present methods and tools for modeling autonomously controlled production networks and investigation of their stability properties. Production networks are described as...
233
click to vote
PAKDD
2011
ACM
14 years 9 months ago
2011
ACM
Abstract. Previous studies on social networks are often focused on networks with only positive relations between individual nodes. As a significant extension, we conduct the spectr...
163
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
— This paper describes a modeling framework for evaluating the impact of faults on the output of streaming ions. Our model is based on three abstractions: stream operators, strea...
266
click to vote
ESORICS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...
193
click to vote
IACR
2011
14 years 6 months ago
2011
Abstract. We show that the Winternitz one-time signature scheme is existentially unforgeable under adaptive chosen message attacks when instantiated with a family of pseudo random ...