8874 search results - page 1622 / 1775 » A New Implementation of Automath |
135
click to vote
NOMS
2008
IEEE
15 years 11 months ago
2008
IEEE
— Wireless networks have become a ubiquitous reality and ever more surround our everyday activities. They form and disappear around us spontaneously and have become new means for...
140
Voted
WACV
2008
IEEE
15 years 11 months ago
2008
IEEE
deliver objects, handle emergency, wherever he/she is inside the home. In addition, the burden of processing We address issues dealing with distributed visual power can be distribu...
170
click to vote
WCRE
2008
IEEE
15 years 11 months ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
143
click to vote
CGO
2007
IEEE
15 years 11 months ago
2007
IEEE
The JavaTM programming language does not allow the programmer to influence memory management. An object is usually allocated on the heap and deallocated by the garbage collector ...
119
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Alcatel Alenia Space is deeply involved in the Galileo program at many stages. In particular, Alcatel Alenia Space has successfully designed and delivered the very first navigatio...