8874 search results - page 1645 / 1775 » A New Implementation of Automath |
192
Voted
ITCC
2005
IEEE
16 years 17 days 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...
175
click to vote
KBSE
2005
IEEE
16 years 16 days 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...
184
click to vote
KBSE
2005
IEEE
16 years 16 days 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...
153
Voted
VISUALIZATION
2005
IEEE
16 years 16 days 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...
192
Voted
VISUALIZATION
2005
IEEE
16 years 16 days 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 ...