1195 search results - page 29 / 239 » Modeling an Algebraic Stepper |
101
click to vote
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we introduce GMD, an abstract but rich data model for representing multidimensional information, equipped with logicbased semantics and seamlessly integrated with a f...
110
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
114
click to vote
ICVGIP
2008
15 years 3 months ago
2008
The primitives of point-based representations are independent but are rendered using surfels, which approximate the immediate neighborhood of each point linearly. A large number o...
119
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
125
click to vote
JCSS
2008
15 years 1 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...