Sciweavers

929 search results - page 70 / 186
» A Modeling Approach for Product Classification Systems
Sort
View
VIROLOGY
2008
84views more  VIROLOGY 2008»
14 years 9 months ago
Formal affordance-based models of computer virus reproduction
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
Matt Webster, Grant Malcolm
DSOM
1999
Springer
15 years 2 months ago
Derivation of Backup Service Management Applications from Service and System Models
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
Ingo Lück, Marcus Schönbach, Arnulf Mest...
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
15 years 2 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David
ACMDIS
2000
ACM
15 years 2 months ago
Performance Targets, Models and Innovation in Interactive System Design
This paper presents an approach to designing interactive systems that enables critical performance parameters to be identified and models of performance to be constructed. The met...
William M. Newman, Alex S. Taylor, Christopher R. ...
SIAMAM
2008
121views more  SIAMAM 2008»
14 years 9 months ago
A Level Set Approach to Anisotropic Surface Evolution with Free Adatoms
We variationally derive a thermodynamically consistent model for surface evolution under the influence of free adatoms. The resulting system of nonlinear partial differential equat...
Christina Stöcker, Axel Voigt