2838 search results - page 349 / 568 » Verifying Controlled Components |
103
Voted
FTCS
1998
15 years 2 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
119
Voted
GG
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
341
Voted
JTRES
2010
ACM
15 years 28 days ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
113
Voted
SIGCOMM
2010
ACM
15 years 28 days ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
129
Voted
ICFP
2010
ACM
15 years 27 days ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...