Sciweavers

4897 search results - page 772 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
PADS
1999
ACM
15 years 11 months ago
Exploiting Temporal Uncertainty in Parallel and Distributed Simulations
Most work to date in parallel and distributed discrete event simulation is based on assigning precise time stamps to events, and time stamp order event processing. An alternative ...
Richard Fujimoto
CGI
1998
IEEE
15 years 10 months ago
Virtual 3D Sculpturing with a Parametric Hand Surface
Many techniques have been developed for 3D object deformation. These techniques have been widely used in most CAD/CAM systems. Intuitive while efficient methods for interactive 3D...
Janis P. Y. Wong, Rynson W. H. Lau, Lizhuang Ma
SIGGRAPH
1989
ACM
15 years 10 months ago
Goal-directed, dynamic animation of human walking
This paper presents a hybrid approach to the animation of human locomotion which combines goal-directed and dynamic motion control. Knowledge about a locomotion cycle is incorpora...
Armin Bruderlin, Thomas W. Calvert
SC
1995
ACM
15 years 10 months ago
Predicting Application Behavior in Large Scale Shared-memory Multiprocessors
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
Karim Harzallah, Kenneth C. Sevcik
ASM
2010
ASM
15 years 10 months ago
Starting B Specifications from Use Cases
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
Thiago C. de Sousa, Aryldo G. Russo