2036 search results - page 308 / 408 » A generic type-and-effect system |
108
click to vote
TROB
2008
15 years 17 days ago
2008
In this paper, we consider the problem of controlling a 6 DOF holonomic robot and a nonholonomic mobile robot from the projection of 3-D straight lines in the image plane of centra...
117
Voted
TWC
2008
15 years 17 days ago
2008
In this paper the tradeoff between energy and delay for wireless networks is studied. A network using a request-to-send (RTS) and clear-to-send (CTS) type medium access control (M...
MCSS
2007
Springer
15 years 17 days ago
2007
Springer
We consider the symmetric Darlington synthesis of a p × p rational symmetric Schur function S with the constraint that the extension is of size 2p×2p. Under the assumption that S...
CAD
2004
Springer
15 years 16 days ago
2004
Springer
A concurrent engineering-oriented design database representation model (CE-DDRM) is introduced in this research for supporting various life-cycle aspects in concurrent design. In ...
83
Voted
JCS
2002
15 years 11 days ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...