3971 search results - page 58 / 795 » On the Use of Properties in Java Applications |
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
Traditional real-time software development methodologies require full knowledge of the resource capability of target platforms during the development stage. However, such knowledg...
ICST
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
ACSC
2009
IEEE
14 years 3 months ago
2009
IEEE
Due to their flexibility, proxies have been used for various purposes in standalone and distributed applications. More specifically, object-level proxies support fine grained capa...
IWMM
2000
Springer
14 years 20 days ago
2000
Springer
Java uses garbage collection (GC) for the automatic reclamation of computer memory no longer required by a running application. GC implementations for Java Virtual Machines (JVM) ...
ETFA
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...