12981 search results - page 2459 / 2597 » Model Checking and Abstraction |
119
click to vote
HIPEAC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multithreading and heterogeneous multiprocessing...
229
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Manual surface reconstruction is still an everyday practice in applications involving complex irregular domains necessary for modeling biological systems. Rapid developme...
123
click to vote
OTM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This article presents a proposal for managing privacy in pervasive environments. These environments are capable of sensing personal information anywhere and at anytime. T...
152
click to vote
SPEAKERC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This work describes the development of an automatic estimator of perceptual femininity (PF) of an input utterance using speaker verification techniques. The estimator wa...
103
click to vote
TCC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...