1875 search results - page 169 / 375 » A Calculus of Broadcasting Systems |
118
Voted
DBPL
2003
Springer
15 years 9 months ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
135
click to vote
ICTCS
2001
Springer
15 years 8 months ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
122
Voted
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
116
click to vote
SAT
2010
Springer
15 years 7 months ago
2010
Springer
Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and s...
156
Voted
TABLEAUX
1995
Springer
15 years 7 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...