1195 search results - page 129 / 239 » Modeling an Algebraic Stepper |
160
click to vote
JLP
2007
15 years 6 months ago
2007
This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the...
148
click to vote
IWIA
2005
IEEE
15 years 12 months ago
2005
IEEE
Previous quantitative models of security or survivability have been defined on a range of probable intruder behavior. This measures survivability as a statistic such as mean time...
172
click to vote
INEX
2004
Springer
15 years 11 months ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...
173
click to vote
DOLAP
2005
ACM
15 years 8 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
165
click to vote
ENTCS
2008
15 years 6 months ago
2008
We provide a categorical presentation of the Fusion calculus. Working in a suitable category of presheaves, we describe the syntax as initial algebra of a signature endofunctor, a...