8874 search results - page 312 / 1775 » A New Implementation of Automath |
198
click to vote
SIGCSE
1997
ACM
15 years 11 months ago
1997
ACM
Parallelism and concurrency have long been considered as non essential during the cursus of the average programmer. However, thanks to technological advances, new promising forms ...
193
click to vote
CIKM
1993
Springer
15 years 11 months ago
1993
Springer
We present a new interface for Object-Oriented Database Management Systems (OODBMSs). The GOODIES1 system combines and expands the functions of many existing interface systems, in...
177
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Dynamic hardware reconfiguration is becoming a key technology in embedded system design that offers among others new potentials in dependable computing. To make system de...
194
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Enterprise JavaBeans (EJB) is a new technology that aims at supporting distributed transactional component-based applications written in Java. In recent years, a lot of new advance...
173
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Modern efforts on digitizing electronic books focus on preserving authentic "spatial" representation of the original sources. The new format requires new tools to help u...