940 search results - page 10 / 188 » Rules and Strategies in Java |
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
Programming languages such as Java and C++ provide exception-handling constructs to handle exception conditions. Applications are expected to handle these exception conditions and...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
CEC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— This paper investigates the performance of trading strategies identified through Computational Intelligence techniques. We focus on trading rules derived by Genetic Pr...
MSS
2010
IEEE
13 years 8 months ago
2010
IEEE
Axioms of monotonicity, efficiency and continuity are shown to characterize the relative majority rule when there are only two alternatives. The absolute majority rule and the rel...
POPL
1998
ACM
14 years 2 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...