Sciweavers

30 search results - page 4 / 6
» Visualizing execution traces with task dependencies
Sort
View
WECWIS
2007
IEEE
172views ECommerce» more  WECWIS 2007»
13 years 11 months ago
An Analysis Tool for Execution of BPEL Services
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
Ariane Gravel, Xiang Fu, Jianwen Su
BPM
2009
Springer
142views Business» more  BPM 2009»
13 years 12 months ago
Flexible Multi-dimensional Visualization of Process Enactment Data
The management of development processes is a challenging task and needs adequate tool support. In the course of a development project, many different engineering and management pr...
Thomas Heer, Christoph Außem, René W&...
RV
2007
Springer
130views Hardware» more  RV 2007»
13 years 11 months ago
Statistical Runtime Checking of Probabilistic Properties
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regeh...
SOFTVIS
2010
ACM
13 years 5 months ago
Towards anomaly comprehension: using structural compression to navigate profiling call-trees
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
Shen Lin 0003, François Taïani, Thomas...
APLAS
2010
ACM
13 years 3 months ago
Live Heap Space Bounds for Real-Time Systems
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
Martin Kero, Pawel Pietrzak, Johan Nordlander