Sciweavers

821 search results - page 55 / 165
» A Model Driven Approach to the Analysis of Timeliness Proper...
Sort
View
CODES
2006
IEEE
14 years 1 months ago
A multiprocessing approach to accelerate retargetable and portable dynamic-compiled instruction-set simulation
Traditionally, instruction-set simulators (ISS’s) are sequential programs running on individual processors. Besides the advances of simulation techniques, ISS’s have been main...
Wei Qin, Joseph D'Errico, Xinping Zhu
PPSN
2010
Springer
13 years 6 months ago
An Analysis of the XOR Dynamic Problem Generator Based on the Dynamical System
In this paper, we use the exact model (or dynamical system approach) to describe the standard evolutionary algorithm (EA) as a discrete dynamical system for dynamic optimization pr...
Renato Tinós, Shengxiang Yang
SIGSAND
2008
13 years 9 months ago
Design of Fractal-Based Systems Within MDA: Platform Independent Modelling
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...
Erika Asnina, Janis Osis, Marite Kirikova
BPM
2006
Springer
128views Business» more  BPM 2006»
13 years 9 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
TMI
1998
166views more  TMI 1998»
13 years 7 months ago
Geodesic Deformable Models for Medical Image Analysis
—In this paper implicit representations of deformable models for medical image enhancement and segmentation are considered. The advantage of implicit models over classical explic...
Wiro J. Niessen, Bart M. ter Haar Romeny, Max A. V...