Sciweavers

3719 search results - page 150 / 744
» RACER System Description
Sort
View
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 12 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
MM
2003
ACM
115views Multimedia» more  MM 2003»
15 years 11 months ago
Extracting information about emotions in films
We present a method being developed to extract information about characters’ emotions in films. It is suggested that this information can help describe higher levels of multimed...
Andrew Salway, Mike Graham
SSIAI
2000
IEEE
15 years 10 months ago
Multi-Level Shape Recognition Based on Wavelet-Transform Modulus Maxima
In this paper we propose a new approach to shape recognition based on the wavelet transform modulus maxima. And apply it to the problem of content-based indexing and retrieval of ...
Faouzi Alaya Cheikh, Azhar Quddus, Moncef Gabbouj
OMER
2001
15 years 7 months ago
Model-Based Design of ECU Software - A Component Based Approach
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
Ulrich Freund, Alexander Burst
AAAI
1990
15 years 7 months ago
Finding the Average Rates of Change in Repetitive Behavior
The repetitive behavior of a device or system can be described in two ways: a detailed description of one iteration of the behavior, or a summary description of the behavior over ...
Alexander S. Yeh