8487 search results - page 1534 / 1698 » User interface history |
164
click to vote
CSMR
1998
IEEE
15 years 10 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...
189
click to vote
ICSE
1999
IEEE-ACM
15 years 10 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 ...
145
click to vote
FCCM
1998
IEEE
15 years 10 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....
155
click to vote
FGR
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces the Multimodal Multi-view Integrated Database (MMID), which holds human activities in presentation situations. MMID contains audio, video, human body motions...
192
click to vote
LCTRTS
1999
Springer
15 years 10 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...