10159 search results - page 274 / 2032 » System Design Validation Using Formal Models |
132
click to vote
ECRTS
2003
IEEE
15 years 8 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
136
click to vote
ACSD
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
132
click to vote
ACIIDS
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
132
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Bio-ontologies are key elements of knowledge management in bioinformatics. Rich and rigorous bio-ontologies should represent biological knowledge with high fidelity an...
97
Voted
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper addresses modeling issues behind the development of a hardware analog emulator of power system behavior referred to as a Power System on a Chip (PSoC). The paper wil...