Results 251 to 260 of about 2,950,209 (298)
Some of the next articles are maybe not open access.
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005
The last decade has displayed a trend for automatic reasoning techniques to operate on demand. Examples of this trend are counterexample-driven predicate refinement, as used in software model checking, and lemmas on demand, as used in automatic theorem proving.
K. Rustan, M. Leino
openaire +1 more source
The last decade has displayed a trend for automatic reasoning techniques to operate on demand. Examples of this trend are counterexample-driven predicate refinement, as used in software model checking, and lemmas on demand, as used in automatic theorem proving.
K. Rustan, M. Leino
openaire +1 more source
Proceedings. IEEE International Conference on Multimedia and Expo, 2003
Web caching is becoming increasingly important as rich content such as streaming media gains popularity on the Web. However, conventional Web caching lacks two essential functionalities for many services. First, Web caching is largely a "best effort" service, lacking the capability of guaranteeing application-level QoS such as content storage that many
Sadhna Ahuja, Tao Wu, Sudhir S. Dixit
openaire +2 more sources
Web caching is becoming increasingly important as rich content such as streaming media gains popularity on the Web. However, conventional Web caching lacks two essential functionalities for many services. First, Web caching is largely a "best effort" service, lacking the capability of guaranteeing application-level QoS such as content storage that many
Sadhna Ahuja, Tao Wu, Sudhir S. Dixit
openaire +2 more sources
Rejuvenation Research, 2009
To understand the communication challenges ahead, one must first understand how completely absent biomedical rejuvenation is from the wildest dreams of the general population. Looking back over the short history of Strategies for Engineered Negligible Senescence (SENS) advocacy, I find it ironic that some very early critics dismissed this journal’s ...
openaire +2 more sources
To understand the communication challenges ahead, one must first understand how completely absent biomedical rejuvenation is from the wildest dreams of the general population. Looking back over the short history of Strategies for Engineered Negligible Senescence (SENS) advocacy, I find it ironic that some very early critics dismissed this journal’s ...
openaire +2 more sources
Demands and capacities or demands and performance?
Journal of Fluency Disorders, 2000Abstract The Demands and Capacities Model of stuttering purportedly provides a framework for obtaining information concerning a child's capacities for fluency and the demands placed on the child by the environment and for integrating that information in devising individual therapy plans.
openaire +1 more source
Journal of Economic Theory, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
2012
Demand side management. Energy efficiency and renewable energy sources. Energy demand modeling methodologyes. Sophisticated approaches, Econometric approach, End-use approach, Input- output models, Scenario approach, Hybrid approaches.
openaire
Demand side management. Energy efficiency and renewable energy sources. Energy demand modeling methodologyes. Sophisticated approaches, Econometric approach, End-use approach, Input- output models, Scenario approach, Hybrid approaches.
openaire
A global model of hourly space heating and cooling demand at multiple spatial scales
Nature Energy, 2023Stefan Pfenninger, Iain Staffell
exaly
Climate change impacts on planned supply–demand match in global wind and solar energy systems
Nature Energy, 2023Laibao Liu, Ying Chen, Mengxi Wu
exaly
Climate mitigation scenarios with persistent COVID-19-related energy demand changes
Nature Energy, 2021Keywan Riahi +2 more
exaly