Sciweavers

21 search results - page 4 / 5
» fac 2008
Sort
View
FAC
2008
100views more  FAC 2008»
14 years 12 months ago
Slicing communicating automata specifications: polynomial algorithms for model reduction
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
Sébastien Labbé, Jean-Pierre Gallois
FAC
2008
80views more  FAC 2008»
14 years 12 months ago
Verification of Mondex electronic purses with KIV: from transactions to a security protocol
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
Dominik Haneberg, Gerhard Schellhorn, Holger Grand...
FAC
2008
108views more  FAC 2008»
14 years 12 months ago
Property-directed incremental invariant generation
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
Aaron R. Bradley, Zohar Manna
IJCAT
2008
96views more  IJCAT 2008»
14 years 12 months ago
A component-based and aspect-oriented model for software evolution
: Component-Based Software Development (CBSD) and Aspect-Oriented Software Development (AOSD) are solutions to support software evolution by decomposing a software system into conc...
Nicolas Pessemier, Lionel Seinturier, Laurence Duc...
TCSV
2008
161views more  TCSV 2008»
14 years 11 months ago
Dynamic Facial Expression Analysis and Synthesis With MPEG-4 Facial Animation Parameters
This paper describes a probabilistic framework for faithful reproduction of dynamic facial expressions on a synthetic face model with MPEG-4 facial animation parameters (FAPs) whil...
Yongmian Zhang, Qiang Ji, Zhiwei Zhu, Beifang Yi