1975 search results - page 124 / 395 » Property analysis and design understanding |
148
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
137
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
178
click to vote
MAGS
2008
15 years 6 months ago
2008
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
159
click to vote
DSRT
2008
IEEE
16 years 20 days ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
150
click to vote
DPHOTO
2010
15 years 7 months ago
2010
The high level context image analysis regards many fields as face recognition, smile detection, automatic red eye removal, iris recognition, fingerprint verification, etc. Techniq...