4224 search results - page 463 / 845 » Reasoning about Choice |
181
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Many network operators offer some type of tiered service, in which users may select only from a small set of service levels (tiers). Such a service has the potential to simplif...
136
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— I/Q imbalance has been identified as one of the most serious concerns in the practical implementation of the direct conversion receiver architecture. Facing the performance-de...
202
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
172
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
159
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We design a Mobility-aware DAta management (MoDA) scheme for mobile ad hoc networks (MANETs) composed by mobile nodes such as urban pedestrians and vehicles. By fully utilizing...