10159 search results - page 401 / 2032 » System Design Validation Using Formal Models |
122
click to vote
EDOC
2009
IEEE
15 years 11 months ago
2009
IEEE
The impact IT systems have on organizations is widely debated, both in academia and industry. This paper describes a quantitative framework for analyzing organizational impact fro...
127
click to vote
AUSAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Traditional approaches to evolvable hardware (EHW), using a direct encoding, have not scaled well with increases in problem complexity. To overcome this there have been m...
112
click to vote
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper presents an original method to tune a neuromimetic IC based on neuron conductance-based models (Hodgkin-Huxley formalism). This method is well known in electrophysio...
169
click to vote
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
118
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...