1796 search results - page 276 / 360 » An Approach to Compositional Model Checking |
116
click to vote
ECAL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper presents a model of the co-evolution of transmissible disease and a population of non-randomly mixed susceptible agents. The presence of the disease elements i...
110
click to vote
ICSR
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
116
click to vote
CGF
1999
15 years 2 months ago
1999
Researchers in non-photorealistic rendering have investigated the display of three-dimensional worlds using various display models. In particular, recent work has focused on the m...
164
Voted
SACMAT
2009
ACM
15 years 9 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
132
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...