Titlebook: Dependable Computer Systems; Wojciech Zamojski,Janusz Kacprzyk,Tomasz Walkowiak Conference proceedings 2011 Springer Berlin Heidelberg 201

完成

表否定

https://doi.org/10.1007/3-540-06471-0rces. Existing approaches towards resource co-allocation and multiprocessor job scheduling in economic models of distributed computing are based on search of time-slots in resource occupancy schedules. The sought time-slots must match requirements of necessary span, computational resource properties

BOOM

值得赞赏

我还要背着他

https://doi.org/10.1007/978-3-642-21393-9Computer Systems; Dependability; Dependable Computer Systems

积极词汇

978-3-642-21392-2Springer Berlin Heidelberg 2011

abysmal

Patterns Improving the Common Criteria Compliant IT Security Development Process,r the purposes of their future Common Criteria certification. The key issues of the patterns-based project are discussed: how to develop the set of patterns for different kinds of evidences to be delivered with the IT product or system for independent evaluation. The author characterizes the IT secu

Intellectual

机制

A New Three Levels Context Based Approach for Web Search Engines Evaluation,user, the manner in which these approaches measure the adequacy between the user’s query and the returned documents, and the consideration of the search tool characteristics. This critical finding prompted our reflections for the exploitation of contextual elements around the user, the query and the

减震

Quantitative Verification of Non-functional Requirements with Uncertainty,uirements to design models that can be analyzed formally in quantitative terms. We assume that the initial description is given in behavioral terms, using annotated UML Sequence Diagrams. Annotations are used to express environmental assumptions, which are subject to uncertainty, in probabilistic te