2838 search results - page 23 / 568 » Verifying Controlled Components |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
In the current Internet, there is no clean way for affected parties to react to poor forwarding performance: to detect and assess Service Level Agreement (SLA) violations by a con...
RTSS
2007
IEEE
14 years 3 months ago
2007
IEEE
SP
2008
IEEE
14 years 3 months ago
2008
IEEE
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
PVM
2007
Springer
14 years 3 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
DATE
1999
IEEE
14 years 1 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...