2346 search results - page 449 / 470 » Hierarchical State Machines |
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...
121
Voted
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
119
click to vote
DMSN
2004
ACM
15 years 7 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
115
click to vote
PODC
2004
ACM
15 years 7 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
108
click to vote
CRYPTO
2004
Springer
15 years 7 months ago
2004
Springer
We study both distinguishing and key-recovery attacks against E0, the keystream generator used in Bluetooth by means of correlation. First, a powerful computation method of correla...