1390 search results - page 209 / 278 » On the Algebraic Structure of Convergence |
157
click to vote
LICS
2007
IEEE
16 years 18 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
140
click to vote
CP
2007
Springer
16 years 15 days ago
2007
Springer
We introduce groupoids – generalisations of groups in which not all pairs of elements may be multiplied, or, equivalently, categories in which all morphisms are invertible – as...
147
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
— The paper considers the problem of setting the dimensions of a system of constrained parallel robots to ensure that together they can position an end-effector in a specified s...
161
click to vote
APN
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
157
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
We introduce the notion of views as a mechanism for securing and providing access control in the context of XML. Research in XML has explored several efficient querying mechanism...