461 search results - page 86 / 93 » Bounds for Validation |
LCTRTS
2005
Springer
15 years 3 months ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...
121
Voted
JIT
2004
Springer
15 years 3 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
SAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
EUROCRYPT
2003
Springer
15 years 2 months ago
2003
Springer
Classical distributed protocols like broadcast or multi-party computation provide security as long as the number of malicious players f is bounded by some given threshold t, i.e., ...