5638 search results - page 142 / 1128 » On presence |
163
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
This paper studies the (in)equational theory of simulation preorder and equivalence over the process algebra BCCSP. We prove that in the presence of a finite alphabet with at least...
159
click to vote
INFOCOM
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper examines the asymptotic behavior of solutions of a simple network model using feedback control under the presence of delays. It shows numerically the existence of compl...
144
click to vote
ACL
2007
15 years 8 months ago
2007
In this paper we explore the utility of the Navigation Map (NM), a graphical representation of the discourse structure. We run a user study to investigate if users perceive the NM...
148
click to vote
DELFI
2003
15 years 7 months ago
2003
Abstract: In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication b...
137
click to vote
SEC
2004
15 years 7 months ago
2004
: Secure Socket Layer (SSL) has functional limitations that prevent end-to-end security in the presence of untrusted intermediary application proxies used by clients to communicate...