3799 search results - page 163 / 760 » An Engineering Approach to Formal Methods |
COMPSAC
2010
IEEE
13 years 7 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
ISSRE
2000
IEEE
14 years 1 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
GECCO
2006
Springer
14 years 29 days ago
2006
Springer
In this paper we present an evolutionary approach for inferring the structure and dynamics in gene circuits from observed expression kinetics. For representing the regulatory inte...
JCS
2006
13 years 9 months ago
2006
Abstract: Cryptographic protocols are successfully analyzed using formal methods. However, formal approaches usually consider the encryption schemes as black boxes and assume that ...
IEEESCC
2007
IEEE
14 years 3 months ago
2007
IEEE
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...