SCCC
1998
IEEE
13 years 12 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
SCCC
1998
IEEE
13 years 12 months ago
1998
IEEE
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...
SCCC
1998
IEEE
13 years 12 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
SCCC
1998
IEEE
13 years 12 months ago
1998
IEEE
WG
1999
Springer
13 years 12 months ago
1999
Springer
The diversity of application areas relying on tree-structured data results in wide interest in algorithms which determine differences or similarities among trees. One way of meas...
WG
1999
Springer
13 years 12 months ago
1999
Springer
WG
1999
Springer
13 years 12 months ago
1999
Springer
WG
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. In random geometric graphs, vertices are randomly distributed on [0, 1]2 and pairs of vertices are connected by edges whenever they are sufficiently close together. Layou...
TLCA
1999
Springer
13 years 12 months ago
1999
Springer
In this paper we present a strongly normalising cut-elimination procedure for classical logic. This procedure adapts Gentzen’s standard cut-reductions, but is less restrictive th...
TLCA
1999
Springer
13 years 12 months ago
1999
Springer