2613 search results - page 323 / 523 » Active Software Artifacts |
151
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
Approaches to achieve low-power and high-speed VLSI's are described with the emphasis on techniques across multiple technology and design levels. To suppress the leakage curr...
191
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Adequate tool support is a crucial factor of success for a software development method or technique. In this paper, we present the MagicUWE tool, that supports systematic design of...
155
click to vote
DSOM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We investigate the problem of ensuring and maximizing performance guarantees for applications suering software aging. Our focus is the optimization of the minimum and av...
153
click to vote
FSEN
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
173
Voted
ICALT
2006
IEEE
16 years 22 days ago
2006
IEEE
Computer Supported Collaborative Learning activities involve combination of complex software tools that often need to interoperate in a wider context of learning. This paper propo...