The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).
faculty: "FNWI" and publication year: "2008"
| Authors||A. Ponse, M.B. van der Zwaag|
|Title||Risk assessment for one-counter threads|
|Journal||Theory of Computing Systems|
|Faculty||Faculty of Science|
|Institute/dept.||FNWI: Informatics Institute (II)|
|Abstract||Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a ‘one-counter thread’. In this paper the decidability of risk assessment (a certain form of action forecasting) for one-counter threads is proved. This relates to Cohen’s impossibility result on virus detection (Comput. Secur. 6(1), 22–35, 1984). Our decidability result follows from a general property of the traces of one-counter threads: if a state is reachable from some initial state, then it is also reachable along a path in which all counter values stay below a fixed bound that depends only on the initial and final counter value. A further consequence is that the reachability of a state is decidable. These properties are based on a result for ω-one counter machines by Rosier and Yen (SIAM J. Comput. 16(5), 779–807, 1987).|
Use this url to link to this page: http://dare.uva.nl/en/record/303724
Contact us about this recordNotify a colleague
Add to bookbag