325 search results - page 58 / 65 » Rewriting Strategies in Java |
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
82
Voted
CIA
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Fredo is a generic domain-independent broker that creates valueadded information taking into account the preferences specified by its clients. Fredo uses ontology service...
DEXAW
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents an environment for supporting parallel/distributed programming using Java with RMI and RMI-IIOP (CORBA). The environment implements the notion of Shared Object...
EDOC
2002
IEEE
15 years 2 months ago
2002
IEEE
The Object Management Group (OMG) is pursuing its new Model-Driven Architecture (MDA) strategy. The Meta-Object Facility (MOF) is an important technology to support the MDA, both ...
NDSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Many business transactions on the Internet occur between strangers, that is, between entities with no prior relationship and no common security domain. Traditional security approa...