1281 search results - page 38 / 257 » BASIS: A Biological Approach to System Information Security |
130
click to vote
ETRICS
2006
15 years 5 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
ICTAC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
108
click to vote
OOPSLA
1998
Springer
15 years 6 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
119
click to vote
EUROMICRO
1996
IEEE
15 years 6 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
103
click to vote
AGENTS
1999
Springer
15 years 6 months ago
1999
Springer
Aircraft maintenance is performed by mechanics who are required, by regulation, to consult expert engineers for repair instructions and approval. In addition to their own experien...