3702 search results - page 466 / 741 » All Pairings Are in a Group |
168
click to vote
RTA
2005
Springer
16 years 7 days ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
196
click to vote
SIGCOMM
2004
ACM
16 years 5 days ago
2004
ACM
While application end-point architectures have proven to be viable solutions for large-scale distributed applications such as distributed computing and file-sharing, there is lit...
229
click to vote
ATAL
2004
Springer
16 years 4 days ago
2004
Springer
We will demonstrate the Secure Wireless Agent Testbed (SWAT), a unique facility developed at Drexel University to study integration, networking and information assurance for next-...
180
click to vote
ICARIS
2004
Springer
16 years 3 days ago
2004
Springer
MHC molecules, also known in the human as human leukocyte antigens (HLA), display peptides on antigen presenting cell surfaces for subsequent T cell recognition. Identification of ...
193
click to vote
CW
2003
IEEE
16 years 1 days ago
2003
IEEE
In this paper we propose a new metaphor of information retrieving, usable in heritage management and publishing. Based on the net, the user is able to participate in virtual guide...