24529 search results - page 4779 / 4906 » Computing on Authenticated Data |
116
Voted
SYNASC
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
135
Voted
VLSID
2006
IEEE
15 years 8 months ago
2006
IEEE
As the IC process technology scales, the oxide thickness and operating voltage continues to decrease. The gate oxide thickness in recent and future IC process technology has appro...
122
Voted
WIOPT
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper presents the first analytical model for ad hoc networks equipped with multiple-input multiple-output (MIMO) radios using space-time coding (STC) that considers the ...
131
Voted
ACMACE
2006
ACM
15 years 8 months ago
2006
ACM
A fundamental design question to ask in the development of a network game is—Which transport protocol should be used—TCP, UDP, or some other protocols? Seeking an objective an...
154
Voted
ACMICEC
2006
ACM
15 years 8 months ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...