1158 search results - page 136 / 232 » Software is discrete mathematics |
97
Voted
FCSC
2008
15 years 24 days ago
2008
Abstract. We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are high...
112
click to vote
JSS
2008
15 years 21 days ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
108
Voted
DM
2002
15 years 16 days ago
2002
This paper provides an overview of methods and systems developed for record linkage. Modern record linkage begins with the pioneering work of Newcombe and is especially based on t...
112
Voted
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
107
click to vote
AMAST
2000
Springer
15 years 5 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...