8828 search results - page 15 / 1766 » Formal methods in practice |
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Continuous probability distributions are widely used to mathematically describe random phenomena in engineering and physical sciences. In this paper, we present a methodology that ...
ICFEM
2007
Springer
15 years 4 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
APSEC
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
ICSE
1993
IEEE-ACM
15 years 1 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
IJCAI
2001
14 years 11 months ago
2001
This paper describes a new method for visualizing complex information spaces as painted images. Scientific visualization converts data into pictures that allow viewers to "se...