1099 search results - page 20 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
76
Voted
EUROMICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
EUROMICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
We propose a design flow for low-power and low-cost, data-dominated, embedded systems which tightly integrate different technologies and architectures. We use Mathworks’ Simuli...
94
Voted
TACAS
1998
Springer
15 years 3 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
BMCBI
2010
14 years 11 months ago
2010
Background: Microorganisms display vast diversity, and each one has its own set of genes, cell components and metabolic reactions. To assess their huge unexploited metabolic poten...
EWSA
2005
Springer
15 years 5 months ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...