2694 search results - page 125 / 539 » Frege's New Science |
147
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Because of the continued development of web services protocols and the apparent convergence of Grid services with web services, it is becoming evident that web services will be an ...
176
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
171
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
129
click to vote
FOCS
2003
IEEE
15 years 11 months ago
2003
IEEE
We give a surprisingly short proof that in any planar arrangement of Ò curves where each pair intersects at most a fixed number (×) of times, the -level has subquadratic (Ç´...
166
click to vote
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
Computing may well become considered an essential part of a liberal education, but introductory programming courses will not look like the way that they do today. Current CS1 cour...