1148 search results - page 41 / 230 » Software engineering considered harmful |
FSTTCS
2010
Springer
13 years 7 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
APPML
2011
13 years 4 months ago
2011
For analytic functions in the open unit disk, J. Becker (Math. Ann. 202(1973)) has given some univalent conditions. In the present paper, some extensions of Becker’s type are co...
APPML
2011
13 years 4 months ago
2011
In this article we present a model of insect infestation of grape vines and consider the optimal control of the pest through the use of egg pesticides. We show existence and uniqu...
AROBOTS
2011
13 years 4 months ago
2011
—In this paper we consider the problem of controlling multiple robots manipulating and transporting a payload in three dimensions via cables. We develop robot configurations tha...
SIAMCO
2011
13 years 4 months ago
2011
Abstract. We consider switched systems on Banach and Hilbert spaces governed by strongly continuous one-parameter semigroups of linear evolution operators. We provide necessary and...