10462 search results - page 1919 / 2093 » Toward the |
174
click to vote
RTA
2005
Springer
15 years 12 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
162
click to vote
TGC
2005
Springer
15 years 12 months ago
2005
Springer
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
193
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
162
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
Cost-based query optimizers need to estimate the selectivity of conjunctive predicates when comparing alternative query execution plans. To this end, advanced optimizers use multi...
164
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...