309 search results - page 54 / 62 » Simulation and Analysis of Controlled Multi-Representational... |
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
ICDCS
2008
IEEE
14 years 3 months ago
2008
IEEE
Many event-driven localization methods have been proposed as low cost, energy efficient solutions for wireless senor networks. In order to eliminate the requirement of accurately...
IRI
2008
IEEE
14 years 3 months ago
2008
IEEE
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
The push method for data transmission in peer-to-peer system has drawn great interest, since it can efficiently reduce the accumulated latency observed at user nodes. However, it ...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
E-commerce has transformed the way firms develop their pricing strategies, producing shift away from fixed pricing to dynamic pricing. In this paper, we use two different Estim...