431 search results - page 87 / 87 » Using Formal Methods to Reason about Architectural Standards |
142
click to vote
ECRTS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we study the soft real-time web cluster architecture needed to support e-commerce and related applications. Our testbed is based on an industry standard, which defin...