Sciweavers

4689 search results - page 268 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
ECAI
2004
Springer
16 years 3 days ago
Models of Behavior Deviations in Model-Based Systems
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
Peter Struss
POLICY
2007
Springer
16 years 25 days ago
XACML Function Annotations
XACML is being increasingly adopted in large enterprise systems for specifying access control policies. However, the efficient analysis and integration of multiple policies in suc...
Prathima Rao, Dan Lin, Elisa Bertino
ASE
2006
114views more  ASE 2006»
15 years 6 months ago
Explicit modeling of semantics associated with composite states in UML statecharts
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
Zhaoxia Hu, Sol M. Shatz
174
Voted
IDT
2008
123views more  IDT 2008»
15 years 6 months ago
A rich semantic model of track as a foundation for sharing beliefs regarding dynamic objects and events
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
Frederick Hayes-Roth, Curtis L. Blais
EOR
2011
124views more  EOR 2011»
15 years 1 months ago
Analysis of order-up-to-level inventory systems with compound Poisson demand
: We analyse a single echelon single item inventory system where the demand and the lead time are stochastic. Demand is modelled as a compound Poisson process and the stock is cont...
M. Zied Babai, Zied Jemaï, Yves Dallery