2143 search results - page 294 / 429 » corr 2010 |
91
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
106
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
We prove several decidability and undecidability results for -PN, an extension of P/T nets with pure name creation and name management. We give a simple proof of undecidability of...
102
Voted
CORR
2010
Springer
15 years 12 days ago
2010
Springer
Developing large-scale distributed applications can be a daunting task. One of the problems that application developers are confronted with is the distribution of data, processes, ...
94
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
—We study the problem of scheduling periodic real-time tasks which have individual minimum reward requirements. We consider situations where tasks generate jobs that can be provi...
89
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...