387 search results - page 18 / 78 » On the design of a Java computer algebra system |
ACSC
2004
IEEE
14 years 14 days ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
MPC
2010
Springer
14 years 1 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
CASSIS
2004
Springer
14 years 2 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
SP
2003
IEEE
14 years 2 months ago
2003
IEEE
We present an experimental study showing that soft memory errors can lead to serious security vulnerabilities in Java and .NET virtual machines, or in any system that relies on ty...
HPCN
2000
Springer
14 years 10 days ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...