1193 search results - page 128 / 239 » A primer of simple theories |
162
click to vote
ISPASS
2010
IEEE
16 years 1 months ago
2010
IEEE
Continuous circuit miniaturization and increased process variability point to a future with diminishing returns from dynamic voltage scaling. Operation below Vcc-min has been prop...
166
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...
198
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Stateless opportunistic forwarding is a simple faulttolerant distributed approach for data delivery and information querying in wireless ad hoc networks, where packets a...
157
click to vote
COMPGEOM
2009
ACM
16 years 28 days ago
2009
ACM
We consider the problem of computing minimum geometric hitting sets in which, given a set of geometric objects and a set of points, the goal is to compute the smallest subset of p...
148
click to vote
HT
2009
ACM
16 years 28 days ago
2009
ACM
Annals and chronicles may be the foundation of accounting, but writers of stories and histories have long known that they seldom render a satisfactory account of complex events. I...