453 search results - page 22 / 91 » On the complexity of exchanging |
119
click to vote
MKM
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
108
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
Trust negotiation is a process that establishes mutual trust by the exchange of digital credentials and/or guiding policies among entities who may have no pre-existing knowledge a...
140
click to vote
IDEAS
2002
IEEE
15 years 9 months ago
2002
IEEE
A system has been developed permitting database queries over data extracted from a CAD system where the query result is returned back to the CAD for visualization and analysis. Th...
123
click to vote
FORTE
2008
15 years 5 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
114
Voted
GI
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The interdisciplinary HERON project investigates the impact of multimedia applications from the humanities, in particular heraldry, on future database technology. We pres...