Sciweavers

1642 search results - page 119 / 329
» A Heuristic Method for Business Process Model Evaluation
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 27 days ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
ICPR
2010
IEEE
15 years 4 months ago
Building Detection in a Single Remotely Sensed Image with a Point Process of Rectangles
Abstract--In this paper we introduce a probabilistic approach of building extraction in remotely sensed images. To cope with data heterogeneity we construct a flexible hierarchical...
Csaba Benedek, Xavier Descombes, Josiane Zerubia
ER
2009
Springer
130views Database» more  ER 2009»
16 years 27 days ago
Designing Law-Compliant Software Requirements
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
Alberto Siena, John Mylopoulos, Anna Perini, Angel...
KDD
2005
ACM
86views Data Mining» more  KDD 2005»
16 years 6 months ago
Probabilistic workflow mining
In several organizations, it has become increasingly popular to document and log the steps that makeup a typical business process. In some situations, a normative workflow model o...
Ricardo Silva, Jiji Zhang, James G. Shanahan
GECCO
2008
Springer
363views Optimization» more  GECCO 2008»
15 years 7 months ago
Towards high speed multiobjective evolutionary optimizers
One of the major difficulties when applying Multiobjective Evolutionary Algorithms (MOEA) to real world problems is the large number of objective function evaluations. Approximate...
A. K. M. Khaled Ahsan Talukder