2860 search results - page 40 / 572 » The Greenfoot Programming Environment |
CADE
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
121
click to vote
APNOMS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The Next Generation Network (NGN) has a multilayer logical construction. Network carriers use various tools in complex procedures to operate application servers on the NG...
104
click to vote
IJNSEC
2008
14 years 12 months ago
2008
In this paper we demonstrate that it is possible in general to detect Windows-based malicious program behavior. Since S. Forrest et al. used the N-grams method to classify system ...
ERSHOV
1999
Springer
15 years 4 months ago
1999
Springer
The traditional representation of a program is as a linear sequence of text. At some stage in the execution sequence the source text is checked for type correctness and its transla...
117
click to vote
DISOPT
2008
14 years 12 months ago
2008
This paper is motivated by the fact that mixed integer nonlinear programming is an important and difficult area for which there is a need for developing new methods and software f...