3680 search results - page 203 / 736 » cases 2010 |
152
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
: This paper presents the overall design of a multi-agent framework for improving the performance of an application executing in a distributed environment. The multi-agent framewor...
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
187
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
137
click to vote
EJC
2010
15 years 6 months ago
2010
In [11] all locally subquadrangular hyperplanes of finite symplectic and Hermitian dual polar spaces were determined with the aid of counting arguments and divisibility properties...
180
click to vote
EJC
2010
15 years 6 months ago
2010
We consider the number of nodes in the levels of unlabelled rooted random trees and show that the stochastic process given by the properly scaled level sizes weakly converges to th...