java 5 introduces several new features that offer significant improvements over older java technology. We consider the new enum construct, which provides language support for enumerated types. Before java 5, programme...
详细信息
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [12, 13]. Checking contracts at runtime e...
详细信息
javaScript is a browser scripting language that allows developers to create sophisticated client-side interfaces for web applications. However, javaScript code is also used to carry out attacks against the user's ...
详细信息
In previous work, we have proposed a model-based approach to developing real-time java programs from timed automata. This approach allows us to verify the timed automata model mechanically by using current real-time m...
详细信息
The technology of implementing virtual laboratory based on javalanguage was proposed in this paper, and this paper designed a network virtual laboratory based on Browser/serve architecture , and the key technologies ...
详细信息
Under the auspices of DAAD (German Foundation) educationa project, a subproject devoted to teaching of java programming language started in 2004. The intention of the subproject was to enable usage, of commonly prepar...
详细信息
The Boolean network model is one of the major coarse-grained approaches for modeling Genetic Regulatory Networks [2]. The present day technologies, such as DNA microarray chips, allow for the simultaneous monitoring o...
详细信息
In this paper, we compare the usability of a library approach with a language approach to task parallelism. There are many practical advantages and disadvantages to both approaches. A key advantage of a library-based ...
详细信息
In order to support the needs of non-javalanguages, the JSR 292 Expert Group has designed a new bytecode "invokedynamic" which allows JVM bytecodes to contain call sites with pluggable, user-defined behavio...
详细信息
In this paper, we introduce a constraint-based reasoning approach to automatically generate test input for java bytecode programs. Our goal-oriented method aims at building an input state of the java Virtual Machine (...
详细信息
暂无评论