1400 search results - page 200 / 280 » Dynamic Galois Theory |
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Growth in the IT outsourcing industry during the past ten years has been exceptional. In this study, we theorize about and analyze the growth patterns of IT outsourcing at the leve...
102
click to vote
DAC
2009
ACM
15 years 6 months ago
2009
ACM
It is known that temperature gradients and thermal hotspots affect the reliability of microprocessors. Temperature is also an important constraint when maximizing the performance...
BIRTHDAY
2009
Springer
15 years 6 months ago
2009
Springer
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...