3500 search results - page 255 / 700 » Implementing Java on Clusters |
108
Voted
ESWS
2007
Springer
15 years 4 months ago
2007
Springer
The idea of linked programs, or procedural RDF metadata, has not been deeply explored. This paper introduces a dedicated scripting language for linked data, called Ripple, whose pr...
81
Voted
AISC
2006
Springer
15 years 4 months ago
2006
Springer
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
101
click to vote
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...
90
Voted
ESORICS
2006
Springer
15 years 4 months ago
2006
Springer
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...
106
click to vote
APAQS
2001
IEEE
15 years 4 months ago
2001
IEEE
Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...