Sciweavers

6757 search results - page 214 / 1352
» Knowledge Analysis on Process Models
Sort
View
BPM
2006
Springer
160views Business» more  BPM 2006»
15 years 8 months ago
Analyzing Interacting BPEL Processes
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
Niels Lohmann, Peter Massuthe, Christian Stahl, Da...
DATE
2005
IEEE
139views Hardware» more  DATE 2005»
16 years 3 days ago
Statistical Timing Analysis with Extended Pseudo-Canonical Timing Model
— State of the art statistical timing analysis (STA) tools often yield less accurate results when timing variables become correlated due to global source of variations and path r...
Lizheng Zhang, Weijen Chen, Yuhen Hu, Charlie Chun...
ER
1998
Springer
147views Database» more  ER 1998»
15 years 10 months ago
An Active Conceptual Model for Fixed Income Securities Analysis for Multiple Financial Institutions
The practical implementation and use of a mediator for fixed income securities analysis demonstrated the potential for extending the application of conceptual modeling from the sys...
Allen Moulton, Stéphane Bressan, Stuart E. ...
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
16 years 25 days ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
ICML
2009
IEEE
16 years 7 months ago
Learning dictionaries of stable autoregressive models for audio scene analysis
In this paper, we explore an application of basis pursuit to audio scene analysis. The goal of our work is to detect when certain sounds are present in a mixed audio signal. We fo...
Youngmin Cho, Lawrence K. Saul