8874 search results - page 1550 / 1775 » A New Implementation of Automath |
206
click to vote
SIGMOD
2010
ACM
16 years 2 days ago
2010
ACM
Time-oriented progress estimation for parallel queries is a challenging problem that has received only limited attention. In this paper, we present ParaTimer, a new type of timere...
146
click to vote
ICSE
2010
IEEE-ACM
16 years 1 days ago
2010
IEEE-ACM
We describe twinning and its applications to adapting programs to alternative APIs. Twinning is a simple technique that allows programmers to specify a class of program changes, i...
214
click to vote
HOTSWUP
2009
ACM
15 years 12 months ago
2009
ACM
The complexity, cost, and down-time currently created by the database schema evolution process is the source of incessant problems in the life of information systems and a major s...
212
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
With the more sophisticated abilities of teams within the simulation league high level online functions become more and more attractive. Last year we proposed an approach to recogn...
239
click to vote
TES
2001
Springer
15 years 11 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...