42507 search results - page 253 / 8502 » On the analysis of |
137
click to vote
GI
2007
Springer
16 years 28 days ago
2007
Springer
: The use of technology to assist human decision making is not a novel idea. However, we argue that there is a need for a unified model which synthesizes and extends existing model...
164
click to vote
IWMM
2007
Springer
16 years 28 days ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
169
click to vote
TGC
2007
Springer
16 years 27 days ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
166
click to vote
TLCA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
193
click to vote
WISTP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Power analysis on smart cards is widely used to obtain information about implemented cryptographic algorithms. We propose similar methodology for Java Card applets revers...