Sciweavers

2550 search results - page 39 / 510
» Difference Decision Diagrams
Sort
View
WSC
2008
15 years 4 months ago
Applicability of hybrid simulation to different modes of governance in UK healthcare
Healthcare organizations exhibit both detailed and dynamic complexity. Effective and sustainable decisionmaking in healthcare requires tools that can comprehend this complexity. D...
Kirandeep Chahal, Tillal Eldabi
100
Voted
DIAGRAMS
2006
Springer
15 years 5 months ago
Topological Relations of Arrow Symbols in Complex Diagrams
Illustrating a dynamic process with an arrow-containing diagram is a widespread convention in people's daily communications. In order to build a basis for capturing the struct...
Yohei Kurata, Max J. Egenhofer
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 8 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
111
Voted
FMCAD
2006
Springer
15 years 5 months ago
Finite Instantiations for Integer Difference Logic
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
Hyondeuk Kim, Fabio Somenzi
VL
1999
IEEE
15 years 6 months ago
Extending UML for Modeling of Multimedia Applications
An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical u...
Stefan Sauer, Gregor Engels