4285 search results - page 215 / 857 » Differential Behavioral Analysis |
188
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
Highly distributed systems such as Grids are used today to the execution of large-scale parallel applications. The behavior analysis of these applications is not trivial. The comp...
158
click to vote
FORMATS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
171
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract: DRAMs play an important role in the semiconductor industry, due to their highly dense layout and their low price per bit. This paper presents the first framework of faul...
158
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...
184
click to vote
IWEC
2010
15 years 5 months ago
2010
Abstract—We describe and analyze emergent behavior and its effect for a class of preypredators’ simulation models. The simulation uses rule-based agent behavior and follows a p...