1280 search results - page 107 / 256 » Soft Typing with Conditional Types |
ECBS
2008
IEEE
14 years 3 months ago
2008
IEEE
Self-adaptation is emerging as an increasingly important capability for many applications, particularly those deployed in dynamically changing environments, such as ecosystem moni...
ICAC
2008
IEEE
14 years 3 months ago
2008
IEEE
Current weather forecast and visualization systems lack the scalability to support numerous customized requests for weather research and forecasting, especially at the time of nat...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
– In IEEE 802.16e networks, the mobility of mobile stations (MSs) induces that energy saving becomes an important issue for the battery-powered MSs to extend their operational li...
FROCOS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Weblog is increasingly important over time with researchers anxious to learn why millions of Internet users are so eager to post their own diary on the web everyday. This study co...