Sciweavers

12670 search results - page 127 / 2534
» Requirements Modeling
Sort
View
SADFE
2007
IEEE
16 years 18 days ago
Toward Models for Forensic Analysis
The existing solutions in the field of computer forensics are largely ad hoc. This paper discusses the need for a rigorous model of forensics and outlines qualities that such a m...
Sean Peisert, Matt Bishop, Sidney Karin, Keith Mar...
COOPIS
2002
IEEE
15 years 11 months ago
Runtime Performance Modeling and Measurement of Adaptive Distributed Object Applications
Distributed applications that can adapt at runtime to changing quality of service (QoS) require a model of the expected QoS and of the possible application adaptations. QoS models ...
John A. Zinky, Joseph P. Loyall, Richard Shapiro
BIRTHDAY
2007
Springer
16 years 16 days ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
ICDE
2002
IEEE
146views Database» more  ICDE 2002»
16 years 7 months ago
Data Mining Meets Performance Evaluation: Fast Algorithms for Modeling Bursty Traffic
Network, web, and disk I/O traffic are usually bursty, self-similar [9, 3, 5, 6] and therefore can not be modeled adequately with Poisson arrivals[9]. However, we do want to model...
Mengzhi Wang, Ngai Hang Chan, Spiros Papadimitriou...
WSC
1997
15 years 7 months ago
Million Dollar Logistic Decisions Using Simulation
This paper presents the development of a flexible simulation model of the rail operations at the Tropicana facility in Bradenton, Florida. The complexity of the process and system...
Michael Carr, Howard Way