5510 search results - page 159 / 1102 » Mathematics |
117
click to vote
FORTE
1996
15 years 5 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
112
click to vote
ENTCS
2008
15 years 3 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
110
Voted
GC
2008
Springer
15 years 3 months ago
2008
Springer
An n
JSYML
2006
15 years 3 months ago
2006
Abstract. Let T be a positive L1-L contraction. We prove that the following statements are equivalent in constructive mathematics.
119
click to vote
IJUFKS
2007
15 years 3 months ago
2007
Media theory is a new branch of discrete applied mathematics originally developed in mid-nineties to deal with stochastic evolution of preference relations in political science an...