12981 search results - page 532 / 2597 » Model Checking (Abstract) |
175
Voted
SIPS
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— In this paper, we propose partly parallel architectures based on optimal overlapped sum-product (OSP) decoding. To ensure high throughput and hardware utilization effi...
162
Voted
CSMR
2005
IEEE
16 years 10 days ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
172
Voted
IEAAIE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper presents an agent system ASGARD-0, that provides monitoring for the success or failure of Grid jobs in a High Energy Physics application. This application area...
175
click to vote
KES
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Invertibility attack is a hostile measure to breach watermarking systems. In this paper, a novel watermarking protocol using a one-way hash function and a check of random...
193
click to vote
OTM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The interoperability of heterogeneous data sources is an important issue in many applications such as mediation systems or web-based systems. In these systems, each data ...