3883 search results - page 52 / 777 » Design mentoring based on design evolution analysis |
AUTOMATICA
2004
13 years 7 months ago
2004
This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. We ...
DBSEC
2007
13 years 9 months ago
2007
Security and privacy concerns as well as legal considerations force many companies to encrypt the sensitive data in databases. However, storing the data in an encrypted format enta...
ROMAN
2007
IEEE
14 years 1 months ago
2007
IEEE
—This paper presents a new six DOF haptic device for dental surgery training system, which can provide 6 dimensional virtual force and torque. The proposed haptic device is based...
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
SAINT
2005
IEEE
14 years 1 months ago
2005
IEEE
In this work we present a protocol ensuring the eTransaction guarantee (i.e. a recently proposed end-to-end reliability guarantee) in a Web based, three-tier transactional system....