5639 search results - page 814 / 1128 » Timed Abstract Non-interference |
146
click to vote
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
134
click to vote
ADBIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents an adaptation of the ARIES recovery algorithm that solves the problem of recovery in Shared Disk (SD) database systems, whilst preserving all the desi...
134
Voted
AIME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Clinical Practice Guidelines (CPGs) are increasingly common in clinical medicine for prescribing a set of rules that a physician should follow. Recent interest is in accu...
162
click to vote
AOSE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Although much effort has been spent on suggesting and implementing new architectures of Multi-Agent Systems (MAS), the evaluation and comparison of these has often been d...
134
click to vote
APN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...