8496 search results - page 1402 / 1700 » Problem Solving and Complex Systems |
198
click to vote
INFOCOM
2005
IEEE
16 years 6 days ago
2005
IEEE
Packet Classification (PC) has been a critical data path function for many emerging networking applications. An interesting approach is the use of TCAM to achieve deterministic, hi...
155
click to vote
ISCA
2005
IEEE
16 years 6 days ago
2005
IEEE
We propose “secret-protected (SP)” architecture to enable secure and convenient protection of critical secrets for a given user in an on-line environment. Keys are examples of...
171
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
187
click to vote
VISUALIZATION
2005
IEEE
16 years 5 days ago
2005
IEEE
Scientific illustrations use accepted conventions and methodologies to effectively convey object properties and improve our understanding. We present a method to illustrate volum...
170
click to vote
VISUALIZATION
2005
IEEE
16 years 5 days ago
2005
IEEE
Arti cial neural networks are computer software or hardware models inspired by the structure and behavior of neurons in the human nervous system. As a powerful learning tool, incr...