2409 search results - page 388 / 482 » On Extended Regular Expressions |
116
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
118
click to vote
SRDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Atomic broadcast in particular, and group communication in general, have mainly been speciļ¬ed and implemented in a system model where processes do not recover after a crash. The...
161
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
153
click to vote
MM
2005
ACM
15 years 9 months ago
2005
ACM
Information linkage is becoming more and more important in this digital age. In this paper, we propose a concept tracking method, which links the news stories with the same topic ...
131
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
A mixin is a reusable module that provides uniform extend modiļ¬cations to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...