1399 search results - page 34 / 280 » Multi-party Finite Computations |
LICS
2003
IEEE
14 years 3 months ago
2003
IEEE
COLING
2002
13 years 9 months ago
2002
DM
2010
13 years 7 months ago
2010
SIAMNUM
2010
13 years 4 months ago
2010
A number of works concerning rigorous convergence theory for adaptive finite element methods (AFEM) for controlling global energy errors have appeared in recent years. However, man...
CONCUR
2000
Springer
14 years 1 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...