290 search results - page 29 / 58 » A Metamodeling Approach for Reasoning about Requirements |
65
Voted
EUROMICRO
2000
IEEE
15 years 1 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...
IPMU
2010
Springer
15 years 1 months ago
2010
Springer
Upon engineering a Bayesian network for the early detection of Classical Swine Fever in pigs, we found that the commonly used approach of separately modelling the relevant observab...
PPOPP
2012
ACM
13 years 5 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
EWCBR
2008
Springer
14 years 11 months ago
2008
Springer
How to endow case-based reasoning systems with effective case adaptation capabilities is a classic problem. A significant impediment to developing automated adaptation procedures i...