134 search results - page 13 / 27 » Finiteness Conditions for Strictness Analysis |
ISQED
2010
IEEE
14 years 28 days ago
2010
IEEE
A simulation-based feasibility study of an intra-chip wireless interconnect system is presented. The wireless interconnect system is modelled in a 250 nm standard complementary met...
CSFW
2009
IEEE
14 years 16 days ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
AUTOMATICA
2008
13 years 8 months ago
2008
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
WSC
2008
13 years 11 months ago
2008
We are interested in computing tail probabilities for the maxima of Gaussian random fields. In this paper, we discuss two special cases: random fields defined over a finite number...
JGO
2008
13 years 8 months ago
2008
Abstract. We deal with duality for almost convex finite dimensional optimization problems by means of the classical perturbation approach. To this aim some standard results from th...