Sciweavers

2556 search results - page 18 / 512
» The Triconnected Abstraction of Process Models
Sort
View
BPM
2008
Springer
87views Business» more  BPM 2008»
15 years 1 months ago
Detecting and Resolving Process Model Differences in the Absence of a Change Log
Abstract. Business-driven development favors the construction of process modifferent abstraction levels and by different people. As a consequence, there is a demand for consolidati...
Jochen Malte Küster, Christian Gerth, Alexand...
CDC
2008
IEEE
120views Control Systems» more  CDC 2008»
15 years 6 months ago
Approximate abstractions of discrete-time controlled stochastic hybrid systems
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...
Alessandro D'Innocenzo, Alessandro Abate, Maria Do...
MSCS
2010
84views more  MSCS 2010»
14 years 10 months ago
Channel abstractions for network security
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...
Michele Bugliesi, Riccardo Focardi
CORR
2009
Springer
115views Education» more  CORR 2009»
14 years 9 months ago
Bigraphical models for protein and membrane interactions
mework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justificatio...
Giorgio Bacci, Davide Grohmann, Marino Miculan
TIP
2010
121views more  TIP 2010»
14 years 6 months ago
Robust Processing of Optical Flow of Fluids
Abstract--This paper proposes a new approach, coupling physical models and image estimation techniques, for modelling the movement of fluids. The fluid flow is characterized by tur...
Ashish Doshi, Adrian G. Bors