Sciweavers

630 search results - page 95 / 126
» Oclets - Scenario-Based Modeling with Petri Nets
Sort
View
ICSE
2012
IEEE-ACM
11 years 11 months ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang
MOBIS
2008
13 years 10 months ago
3D Representation of Business Process Models
: 3D technologies open up new possibilities for modeling business processes. They provide higher plasticity and eliminate some deficits of conventional 2D process modeling such as ...
Stefanie Betz, Daniel Eichhorn, Susan Hickl, Stefa...
ETT
2000
149views Education» more  ETT 2000»
13 years 8 months ago
Channel Allocation with Recovery Strategy in Wireless Networks
With the increasing penetration of wireless communications systems, customers are expecting the same level of service, reliability and performance from the wireless communication s...
Yue Ma, James J. Han, Kishor S. Trivedi
CPE
1994
Springer
170views Hardware» more  CPE 1994»
14 years 1 months ago
Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...
EPK
2007
148views Management» more  EPK 2007»
13 years 10 months ago
On the Degree of Behavioral Similarity between Business Process Models
Abstract: Quality aspects become increasingly important while business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redund...
Jan Mendling, Boudewijn F. van Dongen, Wil M. P. v...