1195 search results - page 23 / 239 » Modeling an Algebraic Stepper |
106
Voted
JUCS
2006
15 years 1 months ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
149
click to vote
APWEB
2004
Springer
15 years 7 months ago
2004
Springer
The management of voluminous heterogeneous resources and services in the web environment is a complex task. Semantic knowledge is playing an increasing important role in order to h...
147
Voted
IEEEICCI
2009
IEEE
15 years 8 months ago
2009
IEEE
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...
96
Voted
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
111
click to vote
TIME
2008
IEEE
15 years 8 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...