Sciweavers

45 search results - page 5 / 9
» Arriclides: An Architecture Integrating Clinical Decision Su...
Sort
View
ECBS
1999
IEEE
129views Hardware» more  ECBS 1999»
13 years 11 months ago
Situation Assessment and Decision Making Integrated into the Process Centered Environment
Researchers have defined a number of process modeling methods and have developed in-roads to process-centered environments that support process modeling and project control. Howev...
Stephanie White, Susan Fife Dorchak, John T. Keane...
JSS
2007
109views more  JSS 2007»
13 years 6 months ago
Using Bayesian belief networks for change impact analysis in architecture design
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
Antony Tang, Ann E. Nicholson, Yan Jin, Jun Han
JAR
2006
103views more  JAR 2006»
13 years 6 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan
RBAC
2000
129views more  RBAC 2000»
13 years 8 months ago
Enabling technologies for role based online decision engines
: Enabling Technologies for Role Based Online Decision Engines Thomas Hildmann, Thomas Gebhardt 22-Feb-2000 The goal of our work at the Technical University of Berlin is to develop...
Thomas Gebhardt, Thomas Hildmann
WSC
1998
13 years 8 months ago
An Integration Test-bed System for Supply Chain Management
This paper proposes an integration test-bed system for supply chain management, which forms the foundation for the construction of a valued manufacturing chain. The core system of...
Shigeki Umeda, Albert Jones