2016 search results - page 232 / 404 » Megamaps: Construction and Examples |
170
click to vote
WECWIS
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper introduces a new mediation mechanism into agent negotiations. The negotiation mechanism takes a supply-chain perspective to the construction of software services, attem...
145
click to vote
ACNS
2005
Springer
16 years 6 days ago
2005
Springer
We present Badger, a new fast and provably secure MAC based on universal hashing. In the construction, a modified tree hash that is more efficient than standard tree hashing is us...
171
Voted
CIE
2005
Springer
16 years 5 days ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
188
click to vote
ER
2005
Springer
16 years 5 days ago
2005
Springer
The idea of Conceptual Neighbourhood Diagram (CND) has proved its relevance in the areas of qualitative reasoning about time and qualitative reasoning about space. In this work, a ...
190
click to vote
FROCOS
2005
Springer
16 years 5 days ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...