7311 search results - page 310 / 1463 » Time in State Machines |
167
click to vote
IEEEHPCS
2010
15 years 6 months ago
2010
—In this paper we study the protocol insecurity problem for time dependent security protocols with a finite number of sessions, extending to the timed case the results of M. Rus...
227
click to vote
ISCAPDCS
2007
15 years 8 months ago
2007
— Next generation multimedia mobile phones that use the high bandwidth 3G cellular radio network consume more power. Multimedia algorithms such as speech, video transcodecs have ...
307
click to vote
VLSISP
2011
15 years 2 months ago
2011
Machine-learning algorithms are employed in a wide variety of applications to extract useful information from data sets, and many are known to suffer from superlinear increases in ...
273
click to vote
TON
2010
15 years 2 months ago
2010
TCP throughput prediction is an important capability in wide area overlay and multi-homed networks where multiple paths may exist between data sources and receivers. In this paper...
189
click to vote
CSL
2000
Springer
15 years 11 months ago
2000
Springer
We define three composition and structuring concepts which reflect frequently used refinements of ASMs and integrate standard structuring constructs into the global state based ...