3573 search results - page 541 / 715 » Reasoning about Codata |
124
click to vote
ASE
2006
15 years 3 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
114
click to vote
FSS
2008
15 years 3 months ago
2008
A fuzzy random variable is viewed as the imprecise observation of the outcomes in a random experiment. Since randomness and vagueness coexist in the same framework, it seems reaso...
112
click to vote
IANDC
2008
15 years 3 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
139
click to vote
IEE
2008
15 years 3 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
141
click to vote
COGSCI
2006
15 years 3 months ago
2006
We study human decision making in a simple forced-choice task that manipulates the frequency and accuracy of available information. Empirically, we find that people make decisions...