1098 search results - page 59 / 220 » System safety as an emergent property in composite systems |
CC
2003
Springer
14 years 2 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
FMCAD
2006
Springer
14 years 15 days ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
SCS
2004
13 years 10 months ago
2004
Engineers who develop safety-related systems are required to work to remarkably high standards: SIL 1, the lowest classification recognised by the international standard IEC 61508...
CSFW
1999
IEEE
14 years 1 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
ISVC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Research domains that deal with complex molecular systems often employ computer-based thermodynamics simulations to study molecular interactions and investigate phenomena...