Sciweavers

3885 search results - page 197 / 777
» Clarifying Goal Models
Sort
View
BPM
2009
Springer
175views Business» more  BPM 2009»
15 years 11 months ago
Understanding Spaghetti Models with Sequence Clustering for ProM
The goal of process mining is to discover process models from event logs. However, for processes that are not well structured and have a lot of diverse behavior, existing process m...
Gabriel M. Veiga, Diogo R. Ferreira
141
Voted
GECCO
2007
Springer
129views Optimization» more  GECCO 2007»
15 years 11 months ago
Achieving a simple development model for 3D shapes: are chemicals necessary?
Artificial Development Systems have been introduced as a technique aimed at increasing the scalability of evolutionary algorithms. Most commonly the development model is part of ...
Pauline C. Haddow, Johan Hoye
KBSE
2006
IEEE
15 years 11 months ago
Accurate Centralization for Applying Model Checking on Networked Applications
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
Cyrille Artho, Pierre-Loïc Garoche
SCESM
2006
ACM
257views Algorithms» more  SCESM 2006»
15 years 11 months ago
Test ready UML statechart models
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh S...
HICSS
2005
IEEE
165views Biometrics» more  HICSS 2005»
15 years 10 months ago
A QoS Based Model for Supporting Multimedia Applications over Cellular IP
With the increasing use of real-time multimedia applications over IP networks, efficient use of resources, especially in wireless networks, is becoming a necessity. In order to ha...
Elwalid Sidahmed, Hesham H. Ali