When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
Research into the automatic acquisition of lexical information from corpora is starting to produce large-scale computational lexicons containing data on the relative frequencies o...
A symmetric group action on the maximal chains in a finite, ranked poset is local if the adjacent transpositions act in such a way that (i, i + 1) sends each maximal chain either ...
Applying standard requirements engineering (RE) processes is a major trend in today's Enterprise Resource Planning (ERP) software engineering. It emerged five years ago with ...
Iterative solvers such as the Jacobi and Gauss-Seidel relaxation methods are important, but time-consuming building blocks of many scientific and engineering applications. The per...