Sciweavers

3565 search results - page 192 / 713
» Modeling a system controller for timing analysis
Sort
View
124
Voted
COOPIS
2002
IEEE
15 years 8 months ago
Modeling Coordination and Control in Cross-Organizational Workflows
Current e-service technology paradigms require the analysis and conceptual modeling of cooperative inter-organizational workflows. Cooperation among different organizations is base...
Enzo Colombo, Chiara Francalanci, Barbara Pernici
143
Voted
CINQ
2004
Springer
182views Database» more  CINQ 2004»
15 years 7 months ago
Mining Constrained Graphs: The Case of Workflow Systems
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, ...
125
Voted
SMI
2006
IEEE
111views Image Analysis» more  SMI 2006»
15 years 9 months ago
A Fast Particle System Framework for Interactive Implicit Modeling
In this paper, we present a controllable, fast and efficient particle system framework for skeletal implicit surfaces defined by the BlobTree model. We propose efficient algori...
Eric Galin, Rémi Allègre, Samir Akko...
130
Voted
FIW
2007
133views Communications» more  FIW 2007»
15 years 5 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...
154
Voted
TASE
2010
IEEE
14 years 10 months ago
Analytic Calculus of Response Time in Networked Automation Systems
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
Boussad Addad, Said Amari, Jean-Jacques Lesage