Sciweavers

2373 search results - page 327 / 475
» Modelling Facial Behaviours
Sort
View
RT
1997
Springer
15 years 10 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 10 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 10 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 10 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 7 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