216 search results - page 8 / 44 » Polymorphic Scenario-Based Specification Models: Semantics a... |
ATVA
2006
Springer
14 years 5 days ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
SOCA
2007
IEEE
14 years 2 months ago
2007
IEEE
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...
PDPTA
2003
13 years 9 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
AAAI
1998
13 years 9 months ago
1998
We present a noisy-OR Bayesian network model for simulation-based training, and an efficient search-based algorithm for automatic synthesis of plausible training scenarios from co...
NN
2008
Springer
13 years 8 months ago
2008
Springer
Brain processes responsible for understanding language are approximated by spreading activation in semantic networks, providing enhanced representations that involve concepts not ...