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 3 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 8 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»
15 years 9 days 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 11 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
157
Voted
TIP
2010
121views more  TIP 2010»
14 years 8 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