9110 search results - page 355 / 1822 » Formally-Based Design Evaluation |
150
click to vote
ISCA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper seeks to understand and design nextgeneration servers for emerging “warehousecomputing” environments. We make two key contributions. First, we put together a detail...
187
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces a new game theoretic formulation for the design and routing of resilient and translucent networks. An integer linear programming (ILP) modeling is also presen...
247
click to vote
AE
2007
Springer
16 years 1 months ago
2007
Springer
The work presented in this paper is part of the development of a robotic system able to learn context dependent visual clues to navigate in its environment. We focus on the obstacl...
186
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
221
click to vote
ECRTS
2006
IEEE
16 years 1 months ago
2006
IEEE
Developing distributed real-time and embedded (DRE) systems in which multiple quality-of-service (QoS) dimensions must be managed is an important and challenging problem. This pap...