1027 search results - page 50 / 206 » A Model for Java with Wildcards |
124
click to vote
KDD
1997
ACM
15 years 8 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 ...
143
click to vote
SOCO
2008
Springer
15 years 4 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...
133
click to vote
WWW
2003
ACM
16 years 5 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...
140
Voted
ICST
2009
IEEE
15 years 11 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...
139
Voted
TPHOL
2007
IEEE
15 years 10 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]. ...