All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...
A class of de nite integrals involving cyclotomicpolynomials and nested logarithms is considered. The results are given in terms of derivatives of the Hurwitz Zeta function. Some s...
This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-t...
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras...
The paper discusses technical issues related to establishment of e-learning services on a grid. The XML based technology for implementation of e_learning application in the form o...
Vytautas Reklaitis, Kazys Baniulis, Toshio Okamoto