1027 search results - page 25 / 206 » A Model for Java with Wildcards |
SPIN
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
HICSS
2003
IEEE
14 years 21 days ago
2003
IEEE
The purpose of this paper is to propose visual models for a web application using Java and XML related technologies. We consider a web application that uses 3tier architecture and...
APSEC
2008
IEEE
14 years 1 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
MODELS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
ECBS
2000
IEEE
13 years 11 months ago
2000
IEEE
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...