10870 search results - page 1990 / 2174 » Model Checking Programs |
111
Voted
AINA
2005
IEEE
15 years 7 months ago
2005
IEEE
The network lifetime for wireless sensor network plays an important role to survivability. Thus, we indicate the importance of routing protocol to network lifetime, and model the ...
CCGRID
2005
IEEE
15 years 7 months ago
2005
IEEE
Grid Computing is becoming more popular. The traditional role of the Internet as being an information repository is evolving to become a resource repository. People using the Inte...
125
click to vote
EEE
2005
IEEE
15 years 7 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
118
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
While dedicated technologies such as e.g., Sun’s J2ME MIDP offer a simple programming model for mobile applications, appropriate support for modularizing the implementation of t...
104
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— This paper first presents a novel control strategy for periodic motion control based on a Hamiltonian system. According to the strategy, hybrid symmetric orbits (ideal walking...