10159 search results - page 1805 / 2032 » System Design Validation Using Formal Models |
201
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
Modern operating systems primarily use Discretionary Access Control (DAC) to protect files and other operating system resources. DAC mechanisms are more user-friendly than Mandat...
184
click to vote
WACV
2005
IEEE
16 years 5 days ago
2005
IEEE
The performance of face recognition systems that use two-dimensional images depends on consistent conditions w.r.t. lighting, pose, and facial appearance. We are developing a face...
162
click to vote
IUI
2004
ACM
16 years 1 days ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
166
click to vote
LCPC
2007
Springer
16 years 22 days ago
2007
Springer
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...
276
click to vote
MSWIM
2006
ACM
16 years 17 days ago
2006
ACM
Mobile devices should allow users to exploit services anytime, without any place restriction and in a transparent way. The Bluetooth technology achieves this feature, by providing...