5015 search results - page 770 / 1003 » Model Checking a Path |
168
click to vote
BIOINFORMATICS
2008
15 years 6 months ago
2008
Motivation: For many biotechnological purposes, it is desirable to redesign proteins to be more structurally and functionally stable at higher temperatures. For example, chemical ...
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This chapter derives the properties of light from the properties of processing, including its ability to be both a wave and a particle, to detect objects it doesn't touch, to...
176
click to vote
IJAHUC
2006
15 years 6 months ago
2006
: Wireless sensor networks require energy efficient routing protocols owing to limited resource on the sensor node. In this paper, we develop optimal distance geographic routing (O...
170
click to vote
JNW
2008
15 years 6 months ago
2008
In this paper we analyse the performance of a relay based UMTS system in an urban environment using multiple hops on multiple frequency bands. Measurement based path loss, fading a...
170
click to vote
JSAC
2008
15 years 6 months ago
2008
This paper analyses the robustness of networked systems from a game-theoretical perspective. Networked systems often consist of several subsystems sharing resources interdependentl...