1676 search results - page 43 / 336 » Formal System Development with KIV |
142
click to vote
SEC
1997
15 years 5 months ago
1997
A formal top down model shall be presented to aid documentation and harmonization of information security requirements. The model formalizes layered development of inn security, w...
136
click to vote
AICCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
136
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
164
click to vote
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
126
click to vote
ECBS
2000
IEEE
15 years 8 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...