9110 search results - page 1476 / 1822 » Formally-Based Design Evaluation |
193
click to vote
JSAC
2006
15 years 6 months ago
2006
The ability to inspect both packet headers and payloads to identify attack signatures makes network intrusion detection system (NIDS) a promising approach to protect Internet syste...
160
click to vote
EOR
2007
2007
Solving the short-term electrical generation scheduling problem by an adaptive evolutionary approach
15 years 6 months ago
In this paper, we introduce an adaptive evolutionary approach to solve the short-term electrical generation scheduling problem (STEGS). The STEGS is a hard constraint satisfaction...
156
click to vote
EOR
2007
15 years 6 months ago
2007
Disassembly activities take place in various recovery operations including remanufacturing, recycling and disposal. The disassembly line is the best choice for automated disassemb...
169
click to vote
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Low-overhead checkpointing and rollback is a popular technique for fault recovery. While different approaches are possible, hardware-supported checkpointing and rollback at the ca...
189
click to vote
FGCS
2007
15 years 6 months ago
2007
— The performance and efficiency of Web Services can be greatly increased in conversational and streaming message exchanges by streaming the message exchange paradigm. In this pa...