8874 search results - page 1645 / 1775 » A New Implementation of Automath |
147
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Background: Key management in a mobile ad hoc environment is complicated by frequently partitioning network topology. Recently proposed key management systems (KMSs) provide limit...
127
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
128
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
118
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
VisTrails is a new system that enables interactive multiple-view visualizations by simplifying the creation and maintenance of visualization pipelines, and by optimizing their exe...
151
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
In this article we describe stress nets, a technique for exploring 2D tensor fields. Our method allows a user to examine simultaneously the tensors' eigenvectors (both major ...