15792 search results - page 2715 / 3159 » Computational Abstraction Steps |
159
click to vote
SIGCSE
2006
ACM
16 years 29 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...
196
click to vote
SIGSOFT
2006
ACM
16 years 29 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...
180
click to vote
ANSS
2005
IEEE
16 years 20 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...
164
click to vote
CEC
2005
IEEE
16 years 19 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 ...
147
click to vote
CIBCB
2005
IEEE
16 years 19 days ago
2005
IEEE
Abstract-Post-translational protein modifications play an important role in many protein pathways and interactions. It has been hypothesized that modifications to proteins occur in...