Sciweavers

9067 search results - page 817 / 1814
» Adaptive Model Checking
Sort
View
CLEIEJ
2006
192views more  CLEIEJ 2006»
15 years 7 months ago
Applying Software Metrics to evaluate Business Process Models
In this paper, we define a set of metrics for the evaluation of conceptual models of business processes. The proposal supposes the adaptation and extension of the FMESP framework ...
Elvira Rolón Aguilar, Francisco Ruiz, F&eac...
CCGRID
2006
IEEE
16 years 1 months ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer
FASE
2010
Springer
16 years 2 months ago
Performance Modeling and Analysis of Context-Aware Mobile Software Systems
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
Luca Berardinelli, Vittorio Cortellessa, Antinisca...
ICAC
2005
IEEE
16 years 1 months ago
Dynamic Black-Box Performance Model Estimation for Self-Tuning Regulators
Methods for automatically managing the performance of computing services must estimate a performance model of that service. This paper explores properties that are necessary for p...
Magnus Karlsson, Michele Covell
AMDO
2006
Springer
15 years 11 months ago
Transferring a Labeled Generic Rig to Animate Face Models
We present a facial deformation system that adapts a generic facial rig into different face models. The deformation is based on labels and allows transferring specific facial feat...
Verónica Costa Teixeira Orvalho, Ernesto Za...