5863 search results - page 1082 / 1173 » On Model-Checking of P Systems |
119
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Several credential systems have been proposed in which users can authenticate to services anonymously. Since anonymity can give users the license to misbehave, some variants allow...
161
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
108
click to vote
VTC
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper we investigate the issues of both initial and post-initial acquisition schemes in the multiple transmit/receive antenna aided DS-CDMA downlink, when communicating...
133
click to vote
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
Understanding and analyzing complex volumetrically varying data is a difficult problem. Many computational visualization techniques have had only limited success in succinctly po...
145
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...