Sciweavers

326 search results - page 13 / 66
» Interprocedural Control Flow Analysis
Sort
View
ECOWS
2009
Springer
15 years 1 months ago
An Analysis of Windows Workflow's Control-Flow Expressiveness
The Windows Workflow Foundation (WF) has been introduced as part of the .NET framework as a means of creating workflow-centric applications. Its intended field of application is br...
Marco Zapletal, Wil M. P. van der Aalst, Nick Russ...
CAISE
2009
Springer
15 years 4 months ago
Analysis and Validation of Control-Flow Complexity Measures with BPMN Process Models
Evaluating the complexity of business processes during the early stages of their development, primarily during the process modelling phase, provides organizations and stakeholder w...
Elvira Rolón Aguilar, Jorge Cardoso, F&eacu...
ER
2005
Springer
93views Database» more  ER 2005»
15 years 3 months ago
Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams
Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas...
GLVLSI
2010
IEEE
149views VLSI» more  GLVLSI 2010»
14 years 11 months ago
Lightweight runtime control flow analysis for adaptive loop caching
Loop caches provide an effective method for decreasing memory hierarchy energy consumption by storing frequently executed code in a more energy efficient structure than the level ...
Marisha Rawlins, Ann Gordon-Ross
FORTEST
2008
14 years 11 months ago
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
Sergiy A. Vilkomir, Jonathan P. Bowen