Sciweavers

3212 search results - page 441 / 643
» Faster Concept Analysis
Sort
View
DKE
2008
135views more  DKE 2008»
15 years 4 months ago
Analyzing interacting WS-BPEL processes using flexible model generation
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
Niels Lohmann, Peter Massuthe, Christian Stahl, Da...
IJCSA
2006
77views more  IJCSA 2006»
15 years 4 months ago
Formal Approach for the Coherence Control of SMIL Documents
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
S. Mazouz, D. Dahmani, L. Kaddouri
JCP
2008
139views more  JCP 2008»
15 years 4 months ago
Research on Risk Evaluation in Supply Chain Based on Grey Relational Method
Supply chain risk evaluation is a multi-criteria decision making problem under fuzzy environments. To tackle the problem, this paper firstly identifies and discusses some of the im...
Peide Liu, Tongjuan Wang
CORR
2007
Springer
91views Education» more  CORR 2007»
15 years 4 months ago
Parasitic Effects Reduction for Wafer-Level Packaging of RF-Mems
In RF-MEMS packaging, next to the protection of movable structures, optimization of package electrical performance plays a very important role. In this work, a wafer-level packagi...
Jacopo Iannacci, Jason Tian, Saoer Sinaga, Roberto...
JSW
2008
105views more  JSW 2008»
15 years 4 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang