Sciweavers

3688 search results - page 447 / 738
» Static analysis of aspects
Sort
View
HASE
1998
IEEE
15 years 11 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
PAKDD
1999
ACM
129views Data Mining» more  PAKDD 1999»
15 years 11 months ago
Visually Aided Exploration of Interesting Association Rules
Association rules are a class of important regularities in databases. They are found to be very useful in practical applications. However, the number of association rules discovere...
Bing Liu, Wynne Hsu, Ke Wang, Shu Chen
EUROMICRO
2011
IEEE
14 years 6 months ago
Software Product Quality in Global Software Development: Finding Groups with Aligned Goals
— The development of a software product in an organization involves various groups of stakeholders who may prioritize the qualities of the product differently. This paper present...
Panagiota Chatzipetrou, Lefteris Angelis, Sebastia...
HICSS
2000
IEEE
131views Biometrics» more  HICSS 2000»
15 years 11 months ago
Workflow-based Process Monitoring and Controlling - Technical and Organizational Issues
Workflow management systems enable the exact and timely analysis of automated business processes through the analysis of the logged audit trail data. Within the research project C...
Michael zur Muehlen, Michael Rosemann
CGO
2008
IEEE
16 years 1 months ago
Fast liveness checking for ssa-form programs
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
Benoit Boissinot, Sebastian Hack, Daniel Grund, Be...