17298 search results - page 3017 / 3460 » Abstract computing machines |
150
click to vote
SIGCSE
2006
ACM
16 years 25 days ago
2006
ACM
In this paper, we present an extensible visualization tool that is being used in a web-based closed laboratory system. The goal of this project is to provide a tool for both stude...
189
click to vote
SIGSOFT
2006
ACM
16 years 25 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
174
click to vote
ANSS
2005
IEEE
16 years 15 days ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
158
click to vote
CEC
2005
IEEE
16 years 15 days ago
2005
IEEE
AbstractThis paper presents a real-coded memetic algorithm that combines a high diversity global exploration with an adaptive local search method to the most promising individuals ...
185
click to vote
CIG
2005
IEEE
16 years 15 days ago
2005
IEEE
Abstract- Recently, P2P (peer-to-peer) online game systems have attracted a great deal of public attention. They work without central servers, thus, the maintenance and organizatio...