Sciweavers

2556 search results - page 6 / 512
» The Triconnected Abstraction of Process Models
Sort
View
ENTCS
2010
154views more  ENTCS 2010»
14 years 7 months ago
Process Algebra with Hooks for Models of Pattern Formation
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
Andrea Degasperi, Muffy Calder
TR
2010
126views Hardware» more  TR 2010»
14 years 4 months ago
Approximating a Loading-Dependent Cascading Failure Model With a Branching Process
Abstract--We quantify the closeness of the approximation between two high-level probabilistic models of cascading failure. In one model called CASCADE, failing components successiv...
Janghoon Kim, Ian Dobson
DCOSS
2011
Springer
13 years 9 months ago
Compiling business process models for sensor networks
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
Alexandra Caracas, Alexander Bernauer
77
Voted
CDC
2010
IEEE
116views Control Systems» more  CDC 2010»
14 years 4 months ago
High level model predictive control for plug-and-play process control with stability guaranty
In this paper a method for designing a stabilizing high level model predictive controller for a hierarchical plugand-play process is presented. achieved by abstracting the lower la...
Axel Gottlieb Michelsen, Jakob Stoustrup
IFIP12
2009
14 years 7 months ago
Managing Diagnosis Processes with Interactive Decompositions
Abstract In the scientific literature, it is generally assumed that models can be completely established before the diagnosis analysis. However, in the actual maintenance problems,...
Quang-Huy Giap, Stéphane Ploix, Jean-Marie ...