395 search results - page 14 / 79 » Towards the systematic use of interfaces in JAVA programming |
AVI
2004
13 years 8 months ago
2004
Generative Programming (GP) is a new paradigm that allows automatic creation of entire software family, using the configuration of elementary and reusable components. GP can be pr...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
ASP
2003
Springer
14 years 19 days ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
JAVACARD
2000
13 years 11 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
The use of Java for parallel programming on clusters relies on the need of efficient communication middleware and high-speed cluster interconnect support. Nevertheless, currently...