1018 search results - page 112 / 204 » Abstraction and Refinement in Model Checking |
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
RE
2010
Springer
13 years 2 months ago
2010
Springer
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...
FORTE
2003
13 years 9 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
ECOOPW
1999
Springer
14 years 3 days ago
1999
Springer
Although a considerable number of successful frameworks have been developed during the last decade, designing a high-quality framework is still a difficult task. Generally, it is ...
FORTE
2004
13 years 9 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...