1027 search results - page 120 / 206 » Callgraph properties of executables |
126
Voted
HYBRID
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
114
Voted
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
129
Voted
VLDB
1995
ACM
15 years 7 months ago
1995
ACM
With the emergence of cooperative applications it turned out that traditional transaction concepts are not suitable for these scenarios. Isolation of transactions, as guaranteed b...
123
Voted
CTRSA
2010
Springer
15 years 7 months ago
2010
Springer
This paper proposes a new type of cache-collision timing attacks on software implementations of AES. Our major technique is of differential nature and is based on the internal cryp...
129
Voted
AIPS
2007
15 years 6 months ago
2007
Planning in domains with temporal and numerical properties is an important research problem. One application of this is the resource production problem in real-time strategy (RTS)...