Sciweavers

193 search results - page 17 / 39
» Modelling Assumptions and Requirements in the Context of Pro...
Sort
View
JPDC
2007
86views more  JPDC 2007»
13 years 7 months ago
Performance evaluation of a new scheduling algorithm for distributed systems with security heterogeneity
High quality of security is increasingly critical for applications running on heterogeneous distributed systems. However, existing scheduling algorithms for heterogeneous distribu...
Tao Xie 0004, Xiao Qin
IFIP
2009
Springer
13 years 5 months ago
Finite Models in FOL-Based Crypto-Protocol Verification
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
Jan Jürjens, Tjark Weber
FOIS
2008
13 years 9 months ago
Introducing Realist Ontology for the Representation of Adverse Events
The goal of the REMINE project is to build a high performance prediction, detection and monitoring platform for managing Risks against Patient Safety (RAPS). Part of the work invol...
Werner Ceusters, Maria Capolupo, Georges De Moor, ...
INFSOF
2007
139views more  INFSOF 2007»
13 years 7 months ago
Predicting software defects in varying development lifecycles using Bayesian nets
An important decision problem in many software projects is when to stop testing and release software for use. For many software products, time to market is critical and therefore ...
Norman E. Fenton, Martin Neil, William Marsh, Pete...
COMPSAC
1999
IEEE
13 years 11 months ago
A Framework for Top-Down Cost Estimation of Software Development
The Function Point Method, estimation by analogy, and algorithmic modeling are three of the most commonly applied methods used to estimate the costs and worker hours neededfor a s...
Tsuneo Yamaura, Tohru Kikuno