1716 search results - page 258 / 344 » Proving Conditional Termination |
124
Voted
QEST
2008
IEEE
15 years 9 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
116
click to vote
BROADNETS
2007
IEEE
15 years 9 months ago
2007
IEEE
—A large majority of the Internet traffic relies on TCP as its transport protocol. In future, as the edge of the Internet continues to extend over the wireless medium, TCP (or i...
148
Voted
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract—While the cost of nodes in a wireless mesh network is decreasing, the price tag of the network as a whole is best minimized by deploying the fewest number of nodes that ...
122
click to vote
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— In this paper we use an information flow model for placement of traffic sinks in a wireless sensor network. Our mathematical model translates a communication network composed...
124
Voted
HAPTICS
2007
IEEE
15 years 9 months ago
2007
IEEE
In teleoperation systems, link flexion results in kinematic errors, such that the position mapping between the master motion and slave motion is not correct. For haptic feedback ...