3218 search results - page 156 / 644 » Timed Extensions for SDL |
135
click to vote
EGC
2005
Springer
15 years 10 months ago
2005
Springer
A major challenge facing grid applications is the appropriate handling of failures. In this paper we address the problem of making parallel Java applications based on Remote Method...
144
click to vote
HICSS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper reports on research on the generation of hypermedia (Web) applications for querying multimedia databases. In [5] we have proposed a heuristic algorithm for generating n...
151
click to vote
IJVR
2008
15 years 4 months ago
2008
One of the key functions to popularize 3D content services on virtual environments is on the extensibility of the underlying system. In our previous work, we had implemented an ext...
128
Voted
ISSAC
2009
Springer
15 years 11 months ago
2009
Springer
An Artin-Schreier tower over the finite field Fp is a tower of field extensions generated by polynomials of the form Xp − X − α. Following Cantor and Couveignes, we give a...
144
Voted
CALCO
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes the main features of several tools concerned with the analysis of either Maude specifications, or of extensions of such specifications: the ITP, MTT, CRC, Ch...