431 search results - page 87 / 87 » Using Formal Methods to Reason about Architectural Standards |
ECRTS
2007
IEEE
13 years 8 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...