2661 search results - page 204 / 533 » Model Checking Performability Properties |
122
click to vote
ANOR
2008
15 years 3 months ago
2008
A crucial property of second order fluid models is the behaviour of the fluid level at the boundaries. Two cases have been considered: the reflecting and the absorbing boundary. Th...
133
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
370
Voted
JTRES
2010
ACM
15 years 3 months 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...
134
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
113
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Intrinsic and parasitic capacitances play an important role in determining the high?frequency RF performance of devices. Recently, a new type of carbon nanotube field effect trans...