8030 search results - page 1492 / 1606 » User Interface |
174
Voted
ISWC
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we present our e orts towards developing an intelligent tourist system. The system is equipped with a unique combination of sensors and software. The hardware inclu...
131
click to vote
CSMR
1998
IEEE
15 years 7 months ago
1998
IEEE
Secure distributed applications often include code to authenticate users, verify access rights, and establish secure communication channels between software components (e.g., clie...
157
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
102
Voted
FCCM
1998
IEEE
15 years 7 months ago
1998
IEEE
Software radios have emerged as important tools in the development of new signal processing algorithms, networking protocols, and propagation experiments in wireless environments....
140
click to vote
VRML
1998
ACM
15 years 7 months ago
1998
ACM
VRML (the Virtual Reality Modeling Language) has brought 3D objects and virtual worlds to a large number of Internet users. While it provides a suitable basis for the platform ind...