9521 search results - page 1410 / 1905 » Compiling with continuations, continued |
202
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
The vision of the Smart Grid includes the creation of intelligent electricity supply networks to allow efficient use of energy resources, reduce carbon emissions and are robust to...
170
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
186
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Continuous optimization of business process execution including its adaptation to changes within the market environment or the company itself becomes increasingly importa...
199
click to vote
CAISE
2010
Springer
15 years 8 months ago
2010
Springer
Despite advances in situational method engineering, many software organizations continue to adopt an ad-hoc mix of method fragments from wellknown development methods such as Scrum...
213
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Rapid growth of the demand for computational power by scientific, business and web-applications has led to the creation of large-scale data centers consuming enormous amounts of el...