Sciweavers

2373 search results - page 327 / 475
» Modelling Facial Behaviours
Sort
View
RT
1997
Springer
15 years 8 months ago
Reconstructing the Visual Field of Compound Eyes
: Realistic image synthesis research involves the simulation of visible light propagation within an environment with a view to computing an image that evokes a similar visual respo...
Steven Collins
CAISE
1993
Springer
15 years 8 months ago
Visualisation for Validation
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...
Vali Lalioti, Pericles Loucopoulos
EPEW
2006
Springer
15 years 8 months ago
Functional Performance Specification with Stochastic Probes
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
Ashok Argent-Katwala, Jeremy T. Bradley
ERSHOV
2006
Springer
15 years 8 months ago
Information-Flow Attacks Based on Limited Observations
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
Damas P. Gruska
SE
2007
15 years 5 months ago
Requirements traceability in the model-based testing process
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
Eddy Bernard, Bruno Legeard