5246 search results - page 836 / 1050 » Sanitization models and their limitations |
180
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
165
click to vote
HHCI
2000
15 years 10 months ago
2000
In this paper we discuss the design of computer-based haptic graphs for blind and visually impaired people with the support of our preliminary experimental results. Since visual i...
179
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
197
click to vote
IDEAL
2000
Springer
15 years 10 months ago
2000
Springer
In multi -agent systems based on softbots, communication architectures have significant influences on system performance as interaction and cooperation of softbots are carried out...
164
click to vote
OHS
2000
Springer
15 years 10 months ago
2000
Springer
There has been tremendous growth in electronic commerce over the past few years. This growth is expected to sustain momentum in the future. Hence, the Internet has become an essent...