2314 search results - page 18 / 463 » Monoids over domains |
75
Voted
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
86
Voted
CODCRY
2009
Springer
15 years 4 months ago
2009
Springer
We give two impossibility results regarding strong encryption over an infinite enumerable domain. The first one relates to statistically secure one-time encryption. The second on...
IADIS
2004
14 years 11 months ago
2004
Mobile IPv6 is thought to be dominant protocol for providing mobility. In the near future, most portable communication devices will deploy Mobile IPv6 mechanism. Our main concerns...
102
click to vote
DIWEB
2004
14 years 11 months ago
2004
In this paper, we propose a methodology developed in the framework of the VISPO project for engineering a three-layer ontology, based on the conceptualization, integration, synthes...
ACS
2004
14 years 9 months ago
2004
For a complete lattice V which, as a category, is monoidal closed, and for a suitable Setmonad T we consider (T, V)-algebras and introduce (T, V)-proalgebras, in generalization of...