811 search results - page 51 / 163 » Integrating Formal Description Techniques |
FTRTFT
1998
Springer
14 years 2 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
3DPH
2009
13 years 11 months ago
2009
A new anatomical database, My Corporis Fabrica (MyCF), is presented. It extends the reference anatomical ontology FMA (the Foundational Model of Anatomy) with the possibility to co...
SACMAT
2009
ACM
14 years 4 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...
HPCA
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper proposes the use of formal feedback control theory as a way to implement adaptive techniques in the processor architecture. Dynamic thermal management (DTM) is used as ...
NDQA
2003
13 years 11 months ago
2003
With the ever-increasing amount of textual information available, it is becoming increasingly unlikely that a single document will provide the answer to a question. A more likely ...