928 search results - page 96 / 186 » Interpolation-sequence based model checking |
71
Voted
AI
2005
Springer
14 years 10 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
92
Voted
CAI
2006
Springer
14 years 10 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
81
Voted
RTCSA
2005
IEEE
15 years 3 months ago
2005
IEEE
The run-time power consumption model for multimedia application routines in an embedded system is developed in this work. A wide range of benchmarks for these routines such as ima...
99
Voted
SOCASE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Existing computer science approaches to business modeling offer lowstractions such as data and control flows, which fail to capture the business intent underlying the in...
87
Voted
ECAI
2008
Springer
15 years 23 hour ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...