4397 search results - page 163 / 880 » Relational Algebra Operations |
139
Voted
SMA
2009
ACM
15 years 10 months ago
2009
ACM
A key problem when interpolating a network of curves occurs at vertices: an algebraic condition called the vertex enclosure constraint must hold wherever an even number of curves ...
148
click to vote
NCA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
125
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
126
click to vote
RTA
1997
Springer
15 years 7 months ago
1997
Springer
Series-parallel orders are de ned as the least class of partial orders containing the one-element order and closed by ordinal sum and disjoint union. From this inductive de nition,...
141
Voted
AADEBUG
1993
Springer
15 years 7 months ago
1993
Springer
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....