1027 search results - page 50 / 206 » A Model for Java with Wildcards |
108
Voted
KDD
1997
ACM
15 years 6 months ago
1997
ACM
In this paper, we describe the JAM system, a distributed, scalable and portable agent-based data mining system that employs a general approach to scaling data mining applications ...
132
Voted
SOCO
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
115
Voted
WWW
2003
ACM
16 years 3 months ago
2003
ACM
The emergence of the SCORM specification has shed a light toward standardization of e-learning which makes the reusability and interoperability of learning resources feasible. How...
121
Voted
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
120
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...