3483 search results - page 634 / 697 » Forward |
107
click to vote
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
66
Voted
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
The objectives of the research project described in this paper are (1) to develop reliable and valid measures for the components of online store image, and (2) to examine the infl...
103
click to vote
ICNP
2002
IEEE
15 years 2 months ago
2002
IEEE
The rapid advancement in wireless communication technology has spurred significant interest in the design and development of enhanced TCP protocols. Among them, TCP Westwood (TCPW...
PG
2002
IEEE
15 years 2 months ago
2002
IEEE
We present the 3D Video Recorder, a system capable of recording, processing, and playing three–dimensional video from multiple points of view. We first record 2D video streams f...
108
click to vote
CEEMAS
2001
Springer
15 years 2 months ago
2001
Springer
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...