2670 search results - page 271 / 534 » Modeling systems with internal state using evolino |
195
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Biomechanics is a science of examining the internal and external forces on the human body. In biomechanics, forward dynamics simulation models can be used to study optimal control ...
146
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...
170
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
181
click to vote
ENTCS
2007
15 years 6 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
205
click to vote
WSC
2007
15 years 9 months ago
2007
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...