2637 search results - page 198 / 528 » Tool Supported Specification and Simulation of Distributed S... |
138
click to vote
PDP
1996
IEEE
15 years 9 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
156
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
217
click to vote
VIS
2004
IEEE
16 years 6 months ago
2004
IEEE
Endonasal transsphenoidal pituitary surgery is a minimally invasive endoscopic procedure, applied to remove various kinds of pituitary tumors. To reduce the risk associated with t...
173
Voted
SE
2008
15 years 6 months ago
2008
: One of the main challenges in distributed software development is the elicitation and management of knowledge regarding system requirements. Due to spatial distribution of involv...
143
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....