1195 search results - page 157 / 239 » Modeling an Algebraic Stepper |
164
Voted
ADBIS
2007
Springer
15 years 8 months ago
2007
Springer
This paper provides an answer-oriented multidimensional analysis environment. The approach is based on a conceptual point of view. We define a conceptual model that represents data...
149
Voted
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
144
click to vote
WOTUG
2008
15 years 7 months ago
2008
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
163
Voted
DAGSTUHL
2006
15 years 7 months ago
2006
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...
141
click to vote
FLAIRS
2003
15 years 7 months ago
2003
In this paper, we discuss a formalism for modeling regions that are exposed to movement or deformation. The basis of our formalism is the RCC theory, which uses topological relati...