Sciweavers

3885 search results - page 198 / 777
» Clarifying Goal Models
Sort
View
ICAC
2005
IEEE
15 years 10 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
147
Voted
IPPS
2005
IEEE
15 years 10 months ago
A Robust Interference Model for Wireless Ad-Hoc Networks
Among the foremost goals of topology control in wireless ad-hoc networks is interference reduction. This paper presents a receiver-centric interference model featuring two main ad...
Pascal von Rickenbach, Stefan Schmid, Roger Watten...
145
Voted
KBSE
2005
IEEE
15 years 10 months ago
A threat-driven approach to modeling and verifying secure software
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
Dianxiang Xu, Kendall E. Nygard
ITS
2004
Springer
155views Multimedia» more  ITS 2004»
15 years 10 months ago
Modeling the Development of Problem Solving Skills in Chemistry with a Web-Based Tutor
This research describes a probabilistic approach for developing predictive models of how students learn problem-solving skills in general qualitative chemistry. The goal is to use ...
Ron Stevens, Amy Soller, Melanie Cooper, Marcia Sp...
AMDO
2006
Springer
15 years 8 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...