8828 search results - page 26 / 1766 » Formal methods in practice |
107
click to vote
DBSEC
1996
14 years 11 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
ICDIM
2007
IEEE
15 years 4 months ago
2007
IEEE
A huge diversity of approaches is in use to deal with network security and spam in particular. In this paper, we focus on a relatively new approach whose foundations rely on the w...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
For years the HCI community has struggled to integrate design in research and practice. While design has gained a strong foothold in practice, it has had much less impact on the H...
COMPSAC
1999
IEEE
15 years 2 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...