7311 search results - page 131 / 1463 » Time in State Machines |
119
click to vote
TIME
2002
IEEE
15 years 9 months ago
2002
IEEE
Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite autom...
144
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
142
click to vote
CTRSA
2010
Springer
15 years 11 months ago
2010
Springer
Typical security models used for proving security of deployed cryptographic primitives do not allow adversaries to rewind or reset honest parties to an earlier state. Thus, it is c...
119
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
Large register file with multiple ports, but with a minimal access time, is a critical component in a superscalar processor. Analysis of the lifetime of a logical to physical reg...
126
click to vote
ADS
2004
Springer
15 years 8 months ago
2004
Springer
The monitoring of emotional user states can help to assess the progress of human-machine-communication. If we look at specific databases, however, we are faced with several problem...