Sciweavers

613 search results - page 60 / 123
» Executable Visual Contracts
Sort
View
IFM
2010
Springer
142views Formal Methods» more  IFM 2010»
13 years 8 months ago
An Event-B Approach to Data Sharing Agreements
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...
Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, ...
ICMCS
2000
IEEE
89views Multimedia» more  ICMCS 2000»
14 years 2 months ago
A Performance Based Parametric Model for Facial Animation
In this paper we present a parametric model for facial animation and a method for adapting it to a specific person. Every facial expression can be described as a contraction or r...
Ania Wojdel, Léon J. M. Rothkrantz
ASM
2008
ASM
13 years 12 months ago
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
Egon Börger, Bernhard Thalheim
CVGIP
2006
171views more  CVGIP 2006»
13 years 10 months ago
Breathe easy: Model and control of human respiration for computer animation
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
Victor B. Zordan, Bhrigu Celly, Bill Yuan-chi Chiu...
VIROLOGY
2010
165views more  VIROLOGY 2010»
13 years 4 months ago
IpMorph: fingerprinting spoofing unification
Abstract. There is nowadays a wide range of TCP/IP stack identification tools that allow to easily recognize the operating system of foreseen targets. The object of this article is...
Guillaume Prigent, Florian Vichot, Fabrice Harroue...