Sciweavers

186 search results - page 4 / 38
» Static Analysis of Business Artifact-centric Operational Mod...
Sort
View
94
Voted
DIMVA
2006
14 years 11 months ago
Using Static Program Analysis to Aid Intrusion Detection
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
Manuel Egele, Martin Szydlowski, Engin Kirda, Chri...
81
Voted
BPM
2009
Springer
124views Business» more  BPM 2009»
14 years 11 months ago
Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators
Abstract. The IBM Pattern-based Process Model Accelerators add a set of patterns, transformations, refactoring operations, and a control-flow analysis feature to IBM WebSphere Busi...
Cédric Favre, Thomas Gschwind, Jana Koehler...
AMAST
2008
Springer
15 years 8 days ago
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
David Cachera, Thomas P. Jensen, Arnaud Jobin, Pas...
74
Voted
HICSS
2006
IEEE
97views Biometrics» more  HICSS 2006»
15 years 4 months ago
Organizational Transformation through Business Models: A Framework for Business Model Design
Organizations are increasingly inter-connected as they source talent, goods and services from other organizations located in disparate parts of the world. They seek new ways of cr...
Peter Keen, Sajda Qureshi
76
Voted
SPLC
2007
14 years 11 months ago
Tailoring Infrastructure Software Product Lines by Static Application Analysis
Besides ordinary applications, also infrastructure software such as operating systems or database management systems is being developed as a software product line. With proper too...
Horst Schirmeier, Olaf Spinczyk