535 search results - page 1 / 107 » Formalization of Legislative Documents Based on a Functional... |
54
Voted
ICAIL
1997
ACM
15 years 1 months ago
1997
ACM
ICAIL
1995
ACM
15 years 1 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
DOCENG
2007
ACM
15 years 1 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
SEC
1997
14 years 11 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...
88
Voted
VLSID
1999
IEEE
15 years 1 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...