3555 search results - page 35 / 711 » Security-Critical System Development with Extended Use Cases |
103
click to vote
COMSIS
2010
14 years 10 months ago
2010
The focus of this paper is on crafting a new visual language for attribute grammars (AGs), and on the development of the associated programming environment. We present a solution f...
118
click to vote
FOCM
2002
15 years 1 months ago
2002
This paper is concerned with the design and analysis of adaptive wavelet methods for systems of operator equations. Its main accomplishment is to extend the range of applicability...
120
click to vote
SEM
2004
Springer
15 years 6 months ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
106
click to vote
JSS
2007
15 years 1 months ago
2007
Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recen...
197
click to vote
Publication
In this paper, we propose a task scheduling algorithm for a multicore processor system which reduces the recovery time in case of a single fail-stop failure of a multicore processo...