Sciweavers

12670 search results - page 127 / 2534
» Requirements Modeling
Sort
View
SADFE
2007
IEEE
15 years 9 months 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...
144
Voted
COOPIS
2002
IEEE
15 years 8 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
15 years 9 months 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 4 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 4 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