8874 search results - page 1683 / 1775 » A New Implementation of Automath |
117
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
The widespread use of GUIs for interacting with software is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the ...
124
Voted
ICCCN
1998
IEEE
15 years 7 months ago
1998
IEEE
An important issue in the design of future Personal Communication Services (PCS) networks is the efficient management of location information. The current IS-41 standard P C S arc...
189
Voted
KIVS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
124
click to vote
MIS
1999
Springer
15 years 7 months ago
1999
Springer
Recent techniques for multicast or broadcast delivery of streaming media can provide immediate service to each client request yet achieve considerable client stream sharing (i.e.,...
109
Voted
ICPP
1998
IEEE
15 years 7 months ago
1998
IEEE
We propose a new universal High-Level Information (HLI) format to effectively integrate front-end and back-end compilers by passing front-end information to the back-end compiler....