1000 search results - page 23 / 200 » Nominal rewriting systems |
RTA
2010
Springer
15 years 3 months ago
2010
Springer
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...
108
Voted
IJCAI
2003
15 years 1 months ago
2003
In this paper we address the problem of query answering and rewriting in global-as-view data integration systems, when key and inclusion dependencies are expressed on the global i...
103
click to vote
EUROMICRO
1996
IEEE
15 years 4 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
—One of the major threats to cyber security is the Distributed Denial-of-Service (DDoS) attack. In our previous projects, PacketScore, ALPi, and other statistical filtering-based...
89
Voted
AMAST
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...