345 search results - page 50 / 69 » Computer-Assisted Simulation Proofs |
119
Voted
EUC
2007
Springer
15 years 8 months ago
2007
Springer
There are many research efforts that focus on converting everyday environments into intelligent and computationally active environments that support and enhance the abilities of it...
125
Voted
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. CAN is a famous structured peer-to-peer network based on ddimensional torus topology with constant degree and logarithmical diameter, but suffers from poor scalability wh...
117
Voted
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
129
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
— It is well-understood that increasing redundancy in a system generally improves the availability and dependability of the system. In server clusters, one important form of redu...
117
click to vote
E2EMON
2006
IEEE
15 years 8 months ago
2006
IEEE
—The traffic dynamics of the Internet’s dominant applications, such as peer-to-peer and multimedia, worsen the accuracy of the existing application traffic identification. Ther...