6978 search results - page 195 / 1396 » Reframing Requirements Analysis |
143
click to vote
ENTCS
2007
15 years 5 months ago
2007
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...
108
click to vote
SIAMJO
2008
15 years 5 months ago
2008
We provide a rule to calculate the subdifferential of the pointwise supremum of an arbitrary family of convex functions defined on a real locally convex topological vector space. ...
135
click to vote
AUTOMATICA
2002
15 years 5 months ago
2002
We present a method for estimating the domain of attraction of the origin for a system under a saturated linear feedback. A simple condition is derived in terms of an auxiliary fe...
134
click to vote
COLING
2002
15 years 5 months ago
2002
In some contexts, well-formed natural language cannot be expected as input to information or communication systems. In these contexts, the use of grammar-independent input (sequen...
142
click to vote
TEC
2002
15 years 4 months ago
2002
Most applications of evolutionary algorithms (EAs) deal with static optimization problems. However, in recent years, there has been a growing interest in timevarying (dynamic) prob...