6047 search results - page 932 / 1210 » Modeling with Extend |
116
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
The relentless scaling of CMOS technology has provided a steady increase in processor performance for the past three decades. However, increased power densities (hence temperature...
142
Voted
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—Fault tolerance techniques have been widely used in wireless sensor networks. Base station placement to maximize the network lifetime has also been well studied. However, limite...
157
Voted
IJCAI
2001
15 years 5 months ago
2001
Recently tremendous advances have been made in the performance of AI planning systems. However increased performance is only one of the prerequisites for bringing planning into th...
123
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
110
Voted
ENTCS
2007
15 years 3 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...