1875 search results - page 201 / 375 » A Calculus of Broadcasting Systems |
97
Voted
LICS
2000
IEEE
15 years 5 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
90
Voted
JFP
2006
15 years 23 days ago
2006
Confinement properties impose a structure on object graphs which can be used to enforce encapsulation properties. From a practical point of view, encapsulation is essential for bu...
115
Voted
KDD
2002
ACM
16 years 1 months ago
2002
ACM
Rule mining is an important data mining task that has been applied to numerous real-world applications. Often a rule mining system generates a large number of rules and only a sma...
102
click to vote
CSFW
1999
IEEE
15 years 5 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
135
Voted
AC
1992
Springer
15 years 4 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...