Sciweavers

356 search results - page 15 / 72
» Inside the Java Virtual Machine
Sort
View
NADA
1998
Springer
136views Hardware» more  NADA 1998»
13 years 11 months ago
Towards an Algebraic Specification of the Java Virtual Machine
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
K. Stephenson
COMPSAC
2007
IEEE
14 years 1 months ago
A Virtual Machine-Based Programming Environment for Rapid Sensor Application Development
In recent years, TinyOS and nesC are gradually becoming the de facto software development platform for implementing sensor applications. However, developing sensor applications is...
Jui-Nan Lin, Jiun-Long Huang
ACSAC
2001
IEEE
13 years 11 months ago
Java Security Extensions for a Java Server in a Hostile Environment
The Java (TM) Virtual Machine is being used more frequently as the basic engine behind dynamic web services. With the proliferation of network attacks on these network resources, ...
David M. Wheeler, Adam Conyers, Jane Luo, Alex Xio...