7956 search results - page 238 / 1592 » Into the Future |
150
Voted
JUCS
2007
15 years 6 months ago
2007
: This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniqu...
181
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Monitoring and information services form a key component of a distributed system, or Grid. A quantitative study of such services can aid in understanding the performance limitatio...
135
click to vote
COLING
2002
15 years 6 months ago
2002
In this paper we address issues related to building a large-scale Chinese corpus. We try to answer four questions: (i) how to speed up annotation, (ii) how to maintain high annota...
149
click to vote
COMCOM
2002
15 years 6 months ago
2002
Multicast routing algorithms that are capable of providing quality of service (QoS) to its members will play an important role in future communication networks. This paper discuss...
169
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...