12741 search results - page 144 / 2549 » Editorial and call for papers |
174
click to vote
TAMC
2009
Springer
16 years 1 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
171
click to vote
AINA
2008
IEEE
16 years 29 days ago
2008
IEEE
In this paper we proposed a weighted suffix tree and find out it can improve the Intrusion Detection System (IDS). We firstly focus on the analysis of computer kernel system call,...
213
click to vote
APSEC
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...
136
click to vote
ICASSP
2008
IEEE
16 years 28 days ago
2008
IEEE
In a wide range of communication systems, including DS-CDMA and OFDM systems, the signal-of-interest might be corrupted by an improper [1] (also called non circularly symmetric [2...
168
click to vote
IEEEARES
2008
IEEE
16 years 27 days ago
2008
IEEE
Unreliability is a characteristic feature of web and grid based computation: a call to a web or grid site may or may not succeed. An orchestration manager aims to control web or g...