1027 search results - page 89 / 206 » A Model for Java with Wildcards |
113
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
147
click to vote
ECRTS
2003
IEEE
15 years 8 months ago
2003
IEEE
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
126
Voted
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Agent-based application development must face the issues related to the interactions among agents. In fact, their sociality allows decomposing large applications into collaboratin...
130
click to vote
DSOM
1999
Springer
15 years 7 months ago
1999
Springer
In this paper, we describe JAMAP, a prototype of a Web-based management platform for IP networks. It is written entirely in Java. It implements the push model to perform regular ma...
126
Voted
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...