351 search results - page 36 / 71 » Prototyping a Visual Formalism for System Modelling |
ATVA
2006
Springer
14 years 12 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...
VL
1995
IEEE
14 years 5 days ago
1995
IEEE
Diagrams (e.g., flowcharts, trees for hierarchical structures, or graphs for finite state machines) are often needed as part of visual language systems and advanced user interfa...
MM
2009
ACM
14 years 1 months ago
2009
ACM
Television news has become the predominant way of understanding the world around us, but individual news broadcasters can frame or mislead an audience’s understanding of politic...
MIE
2008
2008
Decision Support System Supporting Clinical Reasoning Process - an Evaluation Study in Dementia Care
13 years 10 months ago
In this paper, a case study is presented in which an early prototype of a decision-support system was integrated in the process of investigating patients with suspected dementia an...
SEW
2006
IEEE
14 years 2 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...