5863 search results - page 802 / 1173 » On Model-Checking of P Systems |
198
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This study applies Auto Regressive (AR) and Auto Regressive Moving Average (ARMA) modeling to wavelet decomposed terahertz pulsed signals to assist biomedical diagnosis and mail/p...
164
click to vote
IWNAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Distributed Hash Table (DHT) based algorithms have been proposed to solve the routing issues in large-scale Peer-to-Peer (P2P) applications. DHT systems create an elegant Peer-...
193
click to vote
TPHOL
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
210
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper develops simple cost models for provisioning content distribution networks that use the simple and highly scalable bandwidth skimming protocol for streaming. New insight...
177
click to vote
RTAS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a QoS management framework that enables us to quantitatively measure QoS, and to analytically plan and allocate resources. In this model, end users' quality prefer...