Sciweavers

4636 search results - page 166 / 928
» Modelling and Validation with VipTool
Sort
View
IEEEARES
2010
IEEE
14 years 2 months ago
A Semi-Markov Survivability Evaluation Model for Intrusion Tolerant Database Systems
—Survivability modeling and evaluation have gained increasing importance. Most existing models assume that the distributions for transitions between states are exponential. Howev...
Alex Hai Wang, Su Yan, Peng Liu
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
14 years 2 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
RE
1999
Springer
14 years 7 days ago
Formal Modeling of Space Shuttle Software Change Requests using SCR
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
Virginie Wiels, Steve M. Easterbrook
IQ
2007
13 years 9 months ago
A Model for Information Quality in the Banking Industry - The Case of the Public Banks In Brazil
: Poor Information Quality (IQ) has a significant impact on the general performance of an organization. Investments in IT have had a great impact on the banking industry in recent ...
Luís Francisco Ramos Lima, Antonio Carlos G...
BROADNETS
2007
IEEE
14 years 2 months ago
Modeling and generating TCP application workloads
Abstract — In order to perform valid experiments, traffic generators used in network simulators and testbeds require up to date models of traffic as it exists on real network lin...
Félix Hernández-Campos, Kevin Jeffay...