8874 search results - page 236 / 1775 » A New Implementation of Automath |
156
Voted
APPROX
2010
Springer
14 years 11 months ago
2010
Springer
d Abstract) Thomas P. Hayes1 and Alistair Sinclair2 1 Department of Computer Science, University of New Mexico 2 Computer Science Division, University of California at Berkeley A &...
175
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
: - The Distributed object computing is a paradigm that allows objects to be distributed across a heterogeneous network, and allows each of the components to interoperate as a unif...
165
Voted
COMMA
2010
14 years 11 months ago
2010
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
204
click to vote
IAJIT
2011
14 years 11 months ago
2011
: Number of recent technologies take Geographic Information Systems to new levels of power and usability. One of the most promising technologies that empower Geographic Information...
129
click to vote
JOC
2011
14 years 11 months ago
2011
In this paper we introduce a new primitive called identity-based encryption with wildcards, or WIBE for short. It allows a sender to encrypt messages to a whole range of receivers ...