2940 search results - page 226 / 588 » Relational Parametricity and Control |
135
click to vote
CRV
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents a new controlled lighting apparatus which uses a raster display device as a light source. The setup has the advantage over other alternatives in that it is rel...
157
click to vote
HICSS
2006
IEEE
16 years 20 days ago
2006
IEEE
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with subjects and...
184
click to vote
HAPTICS
2002
IEEE
15 years 11 months ago
2002
IEEE
A novel interactive virtual needle insertion simulation is presented. Simulation models are based upon planar tissue deformations and forces measured during needle insertion exper...
169
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Port-based network modeling of complex physical systems naturally leads to port-Hamiltonian system models. This motivates the search for structure-preserving model reduction me...
153
Voted
HASE
1997
IEEE
15 years 10 months ago
1997
IEEE
Fault-tolerant behavior is an important non-functional requirement for systems that involve high criticality. We present a framework which allows the analysis of faulttolerant beh...