569 search results - page 88 / 114 » ADDSS: Architecture Design Decision Support System Tool |
WSC
1994
15 years 1 months ago
1994
Whether designing a new system or modifying an existing one, engineers want to take the guesswork out of finding the best possible solution. While there are many analysis methods ...
FMICS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
ECTEL
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we present a proof of concept application of a technique that is designed explicitly for face to face collaboration software architectures. The objective is to minim...
129
click to vote
CCGRID
2005
IEEE
15 years 5 months ago
2005
IEEE
In this article we present the design choices and the evaluation of a batch scheduler for large clusters, named OAR. This batch scheduler is based upon an original design that emp...
204
click to vote
ICDE
2003
IEEE
16 years 1 months ago
2003
IEEE
Intuitively, data management and data integration tools should be well-suited for exchanging information in a semantically meaningful way. Unfortunately, they suffer from two sign...