2661 search results - page 275 / 533 » Model Checking Performability Properties |
CL
2006
Springer
15 years 25 days ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...
111
Voted
MAM
2008
15 years 23 days ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
98
Voted
JVCIR
2007
15 years 20 days ago
2007
This paper qualitatively compares three recently proposed models for signal/image texture extraction based on total variation minimization: the Meyer [27], Vese–Osher (VO) [35],...
102
Voted
ECAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper explores the performance of a simple model agent using a reactive controller in situations where, from an external perspective, a solution that relies on internal states...
101
Voted
HVC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...