4693 search results - page 745 / 939 » Verifying Hybrid Systems |
139
click to vote
IJIT
2004
15 years 6 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
185
click to vote
ISCAPDCS
2004
15 years 6 months ago
2004
Increasing multimedia applications such as teleconferencing and video-on-demand require the Internet to effectively provide high-performance multicast support. One of the promisin...
146
click to vote
ISTA
2004
15 years 6 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
140
click to vote
SEC
2004
15 years 6 months ago
2004
Abstract--Stack smashing is still one of the most popular techniques for computer system attack. In this work, we present an antistack-smashing defense technique for Microsoft Wind...
187
click to vote
SSWMC
2004
15 years 6 months ago
2004
Biometric authentication, i.e. verifying the claimed identity of a person based on physiological characteristics or behavioral traits, has the potential to contribute to both priv...