1390 search results - page 209 / 278 » On the Algebraic Structure of Convergence |
166
click to vote
LICS
2007
IEEE
16 years 1 months 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...
156
click to vote
CP
2007
Springer
16 years 1 months 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...
160
click to vote
ICRA
2005
IEEE
16 years 12 days 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...
180
click to vote
APN
2005
Springer
16 years 11 days 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...
178
click to vote
CIKM
2005
Springer
16 years 10 days 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...