1908 search results - page 249 / 382 » How to teach software modeling |
115
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We study the decision theory of a maximally risk-averse investor — one whose objective, in the face of stochastic uncertainties, is to minimize the probability of ever ...
166
click to vote
AMAST
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
134
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We consider the problem of globally minimizing the sum of many rational functions over a given compact semialgebraic set. The number of terms can be large (10 to 100), the degree ...
108
click to vote
IRI
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper presents a technique for the design of digital systems on the basis of reusable hardware templates, which are circuits with modifiable functionality that might be custom...
130
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...