Sciweavers

1107 search results - page 75 / 222
» Variability Management on Behavioral Models
Sort
View
CCR
2002
133views more  CCR 2002»
15 years 1 months ago
Crossover scaling effects in aggregated TCP traffic with congestion losses
We critically examine the claims that TCP congestion control contributes to the observed self-similar traffic rate correlations. A simulation model is designed to analyze aggregat...
Michael Liljenstam, Andrew T. Ogielski
TACAS
2012
Springer
275views Algorithms» more  TACAS 2012»
13 years 9 months ago
Pushdown Model Checking for Malware Detection
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
Fu Song, Tayssir Touili
DBSEC
2007
106views Database» more  DBSEC 2007»
15 years 2 months ago
Enforcing Honesty in Assured Information Sharing Within a Distributed System
The growing number of distributed information systems such as the internet has created a need for security in data sharing. When several autonomous parties attempt to share data, t...
Ryan Layfield, Murat Kantarcioglu, Bhavani M. Thur...
HICSS
2009
IEEE
101views Biometrics» more  HICSS 2009»
15 years 8 months ago
A Cost-Based Model for Improving Customer Waiting Times
The effective management of a service organization requires measuring system performance on many attributes. Customer waiting time is inherent to nearly all service operations and...
Alfred L. Guiffrida, Michael J. Messina
EOR
2007
101views more  EOR 2007»
15 years 1 months ago
Optimizing an objective function under a bivariate probability model
The motivation of this paper is to obtain an analytical closed form of a quadratic objective function arising from a stochastic decision process with bivariate exponential probabi...
Xavier Brusset, Nico M. Temme