1040 search results - page 194 / 208 » A New Periodicity Lemma |
FM
2006
Springer
14 years 14 days ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
CONCUR
2000
Springer
14 years 12 days ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
CEAS
2008
Springer
13 years 10 months ago
2008
Springer
The increasing use of email for phishing and unsolicited marketing has reduced the trustworthiness of email as a communication medium. Sender authentication is a known defense aga...
CONEXT
2005
ACM
13 years 10 months ago
2005
ACM
We first show by measurements that BGP peering links fail as frequently as intradomain links and usually for short periods of time. We propose a new fast-reroute technique where ...
PERVASIVE
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Continuous sensing applications (e.g., mobile social networking applications) are appearing on new sensor-enabled mobile phones such as the Apple iPhone, Nokia and Androi...