5639 search results - page 1003 / 1128 » Timed Abstract Non-interference |
133
click to vote
FATES
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
115
Voted
ISAAC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Fast algorithms for arithmetic on real or complex polynomials are wellknown and have proven to be not only asymptotically efficient but also very practical. Based on Fas...
130
click to vote
CLOUD
2010
ACM
15 years 6 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
103
Voted
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
115
Voted
TRUST
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Increasing adoption of smartphones in recent times has begun to attract more and more malware writers towards these devices. Among the most prominent and widely adopted o...