1581 search results - page 207 / 317 » Mechanizing Inductive Reasoning |
112
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
A masquerade attack, in which one user impersonates another, can be the most serious form of computer abuse. Automatic discovery of masqueraders is sometimes undertaken by detecti...
136
click to vote
HAPTICS
2002
IEEE
15 years 8 months ago
2002
IEEE
Tactile displays are used to convey small-scale force and shape information to the fingertip. We describe a 6 x 6 tactile shape display design that is low in cost and easily const...
109
click to vote
NBIS
2009
Springer
15 years 7 months ago
2009
Springer
At present time, the maturity of P2P research field has pushed through new problems such us those related with security. For that reason, security starts to become one of the key...
110
click to vote
EUROPAR
2001
Springer
15 years 7 months ago
2001
Springer
We consider a networking subsystem for message–passing clusters that uses two unidirectional queues for data transfers between the network interface card (NIC) and the lower prot...
126
click to vote
HYBRID
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...