1472 search results - page 197 / 295 » On Model Checking Infinite-State Systems |
117
Voted
HT
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
171
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
137
click to vote
RE
2010
Springer
14 years 8 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
108
click to vote
PASTE
2004
ACM
15 years 7 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
154
click to vote
ENTCS
2007
15 years 1 months ago
2007
We lay down plans to study how Inductive Reasoning Ability (IRA) affects the analyzing and understanding of Program Visualization (PV) systems. Current PV systems do not take int...