Sciweavers

7380 search results - page 250 / 1476
» Engineering Software Intensive Systems
Sort
View
226
Voted
AC
2011
Springer
14 years 9 months ago
A Taxonomy and Survey of Energy-Efficient Data Centers and Cloud Computing Systems
Traditionally, the development of computing systems has been focused on performance improvements driven by the demand of applications from consumer, scientific, and business domai...
Anton Beloglazov, Rajkumar Buyya, Young Choon Lee,...
SIAMCO
2011
14 years 9 months ago
Converse Lyapunov Theorems for Switched Systems in Banach and Hilbert Spaces
Abstract. We consider switched systems on Banach and Hilbert spaces governed by strongly continuous one-parameter semigroups of linear evolution operators. We provide necessary and...
Falk M. Hante, Mario Sigalotti
WADT
2004
Springer
15 years 7 months ago
From Conditional to Unconditional Rewriting
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much...
Grigore Rosu
117
Voted
EDOC
2007
IEEE
15 years 8 months ago
Model-Driven Engineering for Requirements Analysis
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
Benoit Baudry, Clémentine Nebut, Yves Le Tr...
CISIS
2008
IEEE
15 years 9 months ago
Supervising Agent Team in an Agent-Based Grid Resource Brokering System - Initial Solution
Currently, we are developing an agent-team based infrastructure for resource brokering and management in Grids. In this note we consider how team is supervised and how mirroring c...
Wojciech Kuranowski, Maria Ganzha, Marcin Paprzyck...