1713 search results - page 49 / 343 » Analysis of Procedure Splitability |
IJISEC
2008
13 years 9 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
AUTOMATICA
2000
13 years 9 months ago
2000
This paper introduces a nonparametric frequency-domain scheme for tuning closed-loop systems. A linear quadratic criterion is used for guiding the system towards an optimal-regula...
GEOINFORMATICA
2000
13 years 9 months ago
2000
: Transportation systems exist to improve individual accessibility. However, emerging applications of GIS in transportation (GIS-T) and intelligent transportation system (ITS) focu...
TMI
2002
13 years 8 months ago
2002
A discrete coil EIT system is investigated for the general case of an eccentric circular inhomogeneity. The solution methodology of the forward problem of this system is explained....
CORR
2010
Springer
13 years 8 months ago
2010
Springer
---------------------------------------------------ABSTRACT-----------------------------------------------In the literature of Round-Robin scheduling scheme, each job is processed,...