4164 search results - page 463 / 833 » Timing model reduction for hierarchical timing analysis |
168
click to vote
JNW
2006
15 years 6 months ago
2006
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...
189
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
181
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
224
Voted
CIVR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper presents a novel method of automatic image semantic annotation. Our approach is based on the Image-Keyword Document Model (IKDM) with image features discretiza...
178
click to vote
WSC
2007
15 years 9 months ago
2007
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...