1796 search results - page 322 / 360 » An Approach to Compositional Model Checking |
TCC
2009
Springer
14 years 8 months ago
2009
Springer
We propose a general security definition for cryptographic quantum protocols that implement classical non-reactive two-party tasks. The definition is expressed in terms of simple q...
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
CVPR
2008
IEEE
14 years 2 months ago
2008
IEEE
While low-dimensional image representations have been very popular in computer vision, they suffer from two limitations: (i) they require collecting a large and varied training se...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...