193 search results - page 31 / 39 » Modeling Environment for Component Model Checking from Hiera... |
MMMACNS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
DAC
2006
ACM
13 years 10 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
ABIALS
2008
Springer
14 years 3 months ago
2008
Springer
Abstract— Starting from the situated and embodied perspective on the study of biological cognition as a source of inspiration, this paper programmatically outlines a path towards...
CCGRID
2004
IEEE
14 years 12 days ago
2004
IEEE
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
ENTCS
2002
13 years 8 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...