4143 search results - page 178 / 829 » A theory of distributed aspects |
84
Voted
ORDER
2008
15 years 23 days ago
2008
Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean al...
112
click to vote
AEI
2000
15 years 20 days ago
2000
This paper presents the software architecture for a next generation concurrent engineering environment that helps geographically separated designers and engineers to collaborate e...
93
Voted
DC
2000
15 years 19 days ago
2000
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
EATCS
2000
15 years 19 days ago
2000
A sub-area of discrepancy theory that has received much attention in computer science recently, is that of explicit constructions of low-discrepancy point sets for various types o...
87
Voted
DM
2002
15 years 19 days ago
2002
A fibration of graphs is a morphism that is a local isomorphism of in-neighbourhoods, much in the same way a covering projection is a local isomorphism of neighbourhoods. This pap...