2062 search results - page 60 / 413 » Hardware Objects for Java |
FIDJI
2003
Springer
14 years 1 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Babylon v2.0 is a collection of tools and services that provide a 100% Java compatible environment for developing, running and managing parallel, distributed and mobile Java appli...
OOPSLA
2000
Springer
13 years 11 months ago
2000
Springer
It is essential for security to be able to isolate mistrusting programs from one another, and to protect the host platform from programs. Isolation is difficult in object-oriented...
HCW
1998
IEEE
14 years 2 days ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
IMCSIT
2010
13 years 5 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...