258 search results - page 23 / 52 » Connections between Relation Algebras and Cylindric Algebras |
105
Voted
ICALP
1998
Springer
15 years 5 months ago
1998
Springer
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...
107
Voted
SIGCOMM
2003
ACM
15 years 6 months ago
2003
ACM
Path vector protocols are currently in the limelight, mainly because the inter-domain routing protocol of the Internet, BGP (Border Gateway Protocol), belongs to this class. In th...
103
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms...
106
Voted
MASCOTS
2003
15 years 2 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
117
click to vote
VLDB
1998
ACM
15 years 4 months ago
1998
ACM
We propose a multi-dimensional language called nD-SQL with the following features: (i) nD-SQL supports queries that interoperate amongst multiple relational sources with heterogen...