2767 search results - page 299 / 554 » Universal Exponentiation Algorithm |
135
Voted
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
107
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
110
click to vote
ACSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Synchronous Data Flow Graphs (SDFGs) are a useful tool for modeling and analyzing embedded data flow applications, both in a single processor and a multiprocessing context or for...
112
Voted
ICTAI
2006
IEEE
15 years 8 months ago
2006
IEEE
Sustained emerging spatio-temporal co-occurrence patterns (SECOPs) represent subsets of object-types that are increasingly located together in space and time. Discovering SECOPs i...
110
Voted
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— We consider the fundamental delay tradeoffs for minimizing energy expenditure in a multi-user wireless downlink with randomly varying channels. First, we extend the BerryGallag...