347 search results - page 31 / 70 » Overview of INEX 2005 |
CIMCA
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes the system “Fibered Guard”, which is a hybrid intelligent web access management approach for the prevention of Denial of Service (DoS) and Distributed Deni...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
UML is gaining increased attention as a system design language, as indicated by current standardization activities such as the SysML initiative and the UML for SoC Forum. Moreover...
EUROMICRO
2005
IEEE
14 years 1 months ago
2005
IEEE
The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by mechanisms an...
HOTI
2005
IEEE
14 years 1 months ago
2005
IEEE
The Cray SeaStar is a new network interface and router for the Cray Red Storm and XT3 supercomputer. The SeaStar was designed specifically to meet the performance and reliability...