9110 search results - page 1714 / 1822 » Formally-Based Design Evaluation |
170
click to vote
GW
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The work described in this abstract presents a roadmap towards the creation and specification of a virtual humanoid capable of performing expressive gestures in real tim...
170
click to vote
HPCC
2005
Springer
15 years 12 months ago
2005
Springer
Nowadays the success of many e-commerce applications, such as on-line banking, depends on their reliability, robustness and security. Designing a web server architecture that keep...
159
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Computational Grids potentially offer cheap large-scale high-performance systems, but are a very challenging architecture, being heterogeneous, shared and hierarchical. Rather tha...
161
click to vote
ICS
2005
Tsinghua U.
15 years 12 months ago
2005
Tsinghua U.
The combination of increasing component power consumption, a desire for denser systems, and the required performance growth in the face of technology-scaling issues are posing eno...
184
click to vote
IPTPS
2005
Springer
15 years 12 months ago
2005
Springer
— We propose here an analysis of a rich dataset which gives an exhaustive and dynamic view of the exchanges processed in a running eDonkey system. We focus on correlation in term...