Sciweavers

532 search results - page 23 / 107
» Process Algebras for Quantitative Analysis
Sort
View
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
15 years 7 months ago
On process-algebraic verification of asynchronous circuits
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
Xu Wang, Marta Z. Kwiatkowska
122
Voted
JWSR
2007
114views more  JWSR 2007»
15 years 3 months ago
Development of Distance Measures for Process Mining, Discovery and Integration
: Business processes continue to play an important role in today’s service-oriented enterprise computing systems. Mining, discovering, and integrating process-oriented services h...
Joonsoo Bae, Ling Liu, James Caverlee, Liang-Jie Z...
119
Voted
IJCAI
1993
15 years 4 months ago
Second Order Measures for Uncertainty Processing
Uncertainty processing methods are analysed from the viewpoint of their sensitivity to small variations of certainty factors. The analysis makes use of the algebraic theory which ...
Zdenek Zdráhal
114
Voted
TSE
1998
83views more  TSE 1998»
15 years 3 months ago
Cost-Effective Analysis of In-Place Software Processes
—Process studies and improvement efforts typically call for new instrumentation on the process in order to collect the data they have deemed necessary. This can be intrusive and ...
Jonathan E. Cook, Lawrence G. Votta, Alexander L. ...
119
Voted
EUSFLAT
2001
15 years 4 months ago
Fuzzy logic in architectural design
Architecture is a multidisciplinary science with many dimensions.For a design task the major part of the design requirements are often qualitative (soft) next to quantitative desi...
Özer Ciftcioglu, S. Durmisevic