2478 search results - page 175 / 496 » Universality in two dimensions |
161
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In the research area of historical documents it is of high interest to reconstruct the process of the emergence of a historical typesetted document. Therefore, the chrono...
158
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
165
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
: This paper examines the re-development of university level web programming unit for delivery in a fully online mode. The unit, which teaches advanced xhtml, javascript, php and m...
168
click to vote
DIM
2006
ACM
16 years 14 days ago
2006
ACM
User centricity is a significant concept in federated identity management (FIM), as it provides for stronger user control and privacy. However, several notions of user-centricity...
173
click to vote
PODC
2006
ACM
16 years 14 days ago
2006
ACM
A quorum system over a universe of logical elements is a collection of subsets (quorums) of elements, any two of which intersect. In numerous distributed algorithms, the elements ...