652 search results - page 33 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
ICIP
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose an illumination invariant and rotation insensitive texture representation based on a Markovian textural model. A texture is aligned with its dominant orientation and te...
82
Voted
FM
2001
Springer
15 years 2 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
79
Voted
CCS
2008
ACM
15 years 6 days ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...
85
Voted
WCET
2007
14 years 11 months ago
2007
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...
PTS
2007
14 years 11 months ago
2007
: The success and the acceptance of intrusion detection systems essentially depend on the accuracy of their analysis. Inaccurate signatures strongly trigger false alarms. In practi...