4350 search results - page 687 / 870 » Case studies for contract-based systems |
115
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
112
click to vote
RTAS
2002
IEEE
15 years 8 months ago
2002
IEEE
The paper presents some preliminary results on dynamic scheduling of model predictive controllers (MPCs). In an MPC, the control signal is obtained by on-line optimization of a co...
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vec...
148
click to vote
LCPC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Current hardware trends place increasing pressure on programmers and tools to optimize scientific code. Numerous tools and techniques exist, but no single tool is a pana...
112
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...