561 search results - page 47 / 113 » How to operate a PC without using the hands |
117
click to vote
TACAS
1998
Springer
15 years 5 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
116
click to vote
ISF
2006
15 years 1 months ago
2006
Abstract Research in information security, risk management and investment has grown in importance over the last few years. However, without reliable estimates on attack probabiliti...
103
click to vote
INFSOF
2000
15 years 1 months ago
2000
A number of standalone tools are designed to help developers understand software systems. These tools operate at different levels of abstraction, from low level source code to sof...
118
click to vote
SIGOPSE
1998
ACM
15 years 5 months ago
1998
ACM
The characterising new requirement for distributed multimedia applications is the coexistence of dynamic real-time and non-real-time applications on hosts and networks. While some...
116
click to vote
TIP
2010
14 years 8 months ago
2010
Abstract--Path openings and closings are morphological operations with flexible line segments as structuring elements. These line segments have the ability to adapt to local image ...